A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.
Matthias BaazAgata CiabattoniPublished in: TABLEAUX (2002)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- sequent calculi
- first order logic
- wide class
- proof theoretic
- modal logic
- proof search
- theorem prover
- theorem proving
- intuitionistic logic
- linear time temporal logic
- horn clauses
- logical framework
- conditional logic
- sufficient conditions
- proof theory
- fixed point
- higher order
- knowledge base
- model theoretic
- artificial intelligence
- expert systems
- quantifier elimination
- valued logic
- machine learning