Proof-Search in Natural Deduction Calculus for Classical Propositional Logic.
Mauro FerrariCamillo FiorentiniPublished in: TABLEAUX (2015)
Keyphrases
- propositional logic
- natural deduction
- proof search
- first order logic
- theorem prover
- sequent calculus
- inference rules
- theorem proving
- cut elimination
- proof procedure
- horn logic
- linear logic
- automated reasoning
- intuitionistic logic
- belief revision
- formal semantics
- probabilistic reasoning
- knowledge representation
- belief change
- horn clauses
- logical framework
- wide class
- predicate calculus
- fixed point
- decision procedures
- modal logic
- integrity constraints