A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.
Ryo IshigakiKentaro KikuchiPublished in: Log. J. IGPL (2007)
Keyphrases
- propositional logic
- first order logic
- sequent calculus
- inference rules
- linear time temporal logic
- cut elimination
- theorem proving
- linear logic
- probabilistic reasoning
- natural deduction
- theorem prover
- quantified boolean formulae
- knowledge representation
- belief revision
- horn clauses
- satisfiability testing
- model checking
- predicate calculus
- logical framework
- propositional satisfiability
- truth maintenance systems
- nonmonotonic logics
- lattice theory
- tree search
- modal logic
- machine learning
- probability theory
- horn logic