A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem.
Lorenzo CarlucciPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- proof theoretic
- intuitionistic logic
- linear logic
- proof theory
- default reasoning
- nonmonotonic reasoning
- fixpoint
- constraint logic programming
- model theoretic
- interactive theorem proving
- logic programming
- sequent calculus
- theorem proving
- reasoning problems
- desirable properties
- deductive databases
- cut elimination
- logic programs
- object oriented