A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms.
Camillo FiorentiniMauro FerrariPublished in: CILC (2020)
Keyphrases
- natural deduction
- proof search
- cut elimination
- sequent calculus
- theorem prover
- inference rules
- linear logic
- theorem proving
- intuitionistic logic
- linear time temporal logic
- proof theoretic
- first order logic
- wide class
- automated reasoning
- proof procedure
- modal logic
- logical framework
- formal semantics
- fixed point
- logic programming