Terminating Calculi for Propositional Dummett Logic with Subformula Property.
Guido FiorinoPublished in: J. Autom. Reason. (2014)
Keyphrases
- proof procedure
- proof procedures
- sequent calculi
- multi valued
- sound and complete axiomatization
- propositional logic
- propositional formulas
- theorem proving
- probabilistic logic
- first order logic
- predicate calculus
- horn clauses
- inference rules
- modal logic
- propositional variables
- computational properties
- deductive reasoning
- autoepistemic logic
- logic programming
- automated reasoning
- cut elimination
- default logic
- general logic programs
- normal form
- reasoning problems
- model theoretic
- logic programs
- temporal logic
- coalition logic