Towards Depth-bounded Natural Deduction for Classical First-order Logic.
Marcello D'AgostinoCostanza LareseSanjay ModgilPublished in: FLAP (2021)
Keyphrases
- natural deduction
- classical first order logic
- first order logic
- theorem prover
- inference rules
- logic programming
- theorem proving
- sequent calculus
- cut elimination
- intuitionistic logic
- depth information
- dynamic logic
- depth map
- propositional logic
- probability distribution
- nonmonotonic reasoning
- linear time temporal logic