Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
Matthias BaazAgata CiabattoniChristian G. FermüllerPublished in: LPAR (2008)
Keyphrases
- cut elimination
- sequent calculus
- valued logic
- classical logic
- linear logic
- natural deduction
- inference rules
- intuitionistic logic
- modal logic
- first order logic
- wide class
- truth values
- sequent calculi
- proof theoretic
- linear time temporal logic
- sufficient conditions
- propositional logic
- theorem prover
- theorem proving
- logic programming
- horn clauses
- conditional logic
- multi valued
- logic programs
- higher order
- linear temporal logic
- temporal logic
- model theoretic
- proof search
- predicate calculus
- nonmonotonic reasoning
- logical framework
- programming language
- automated reasoning