LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
Ping HouJohan WittocxMarc DeneckerPublished in: CoRR (2012)
Keyphrases
- propositional logic
- sequent calculus
- inference rules
- cut elimination
- first order logic
- linear logic
- modal logic
- linear time temporal logic
- inductive logic programming
- natural deduction
- quantified boolean formulae
- belief revision
- knowledge representation
- valued logic
- lattice theory
- proof search
- wide class
- belief change
- probabilistic reasoning
- theorem proving
- sufficient conditions
- machine learning
- theorem prover
- logical framework
- nonmonotonic logics
- propositional satisfiability
- predicate calculus
- multi attribute
- satisfiability testing