Terminating Calculi for Propositional Dummett Logic with Subformula Property
Guido FiorinoPublished in: CoRR (2012)
Keyphrases
- proof procedure
- proof procedures
- sequent calculi
- sound and complete axiomatization
- propositional logic
- multi valued
- theorem proving
- propositional formulas
- first order logic
- predicate calculus
- probabilistic logic
- propositional variables
- inference rules
- deductive reasoning
- automated theorem proving
- modal logic
- automated reasoning
- predicate logic
- normal form
- belief revision
- propositional satisfiability
- propositional theories
- linear logic
- autoepistemic logic
- knowledge representation
- logic programming