Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.
Mykola NikitchenkoOksana S. ShkilniakStepan ShkilniakPublished in: UkrPROG (2020)
Keyphrases
- sequent calculi
- conditional logic
- horn clauses
- first order logic
- modal logic
- default reasoning
- belief revision
- expressive power
- nonmonotonic reasoning
- inference rules
- logical formulas
- cut elimination
- datalog programs
- knowledge representation and reasoning
- higher order
- theorem prover
- theorem proving
- monotonicity constraints
- propositional logic
- knowledge representation
- decision procedures
- valued logic