Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic.
Mauro FerrariCamillo FiorentiniPublished in: J. Autom. Reason. (2019)
Keyphrases
- propositional logic
- goal oriented
- natural deduction
- proof search
- theorem prover
- first order logic
- linear logic
- inference rules
- theorem proving
- sequent calculus
- cut elimination
- proof procedure
- belief revision
- automated reasoning
- intuitionistic logic
- logical framework
- probabilistic reasoning
- knowledge representation
- propositional satisfiability
- horn clauses
- belief change
- predicate calculus
- decision procedures
- evolutionary algorithm
- search space