Call-by-name reduction and cut-elimination in classical logic.
Kentaro KikuchiPublished in: Ann. Pure Appl. Log. (2008)
Keyphrases
- classical logic
- sequent calculus
- cut elimination
- intuitionistic logic
- modal logic
- linear logic
- logic programming
- inference rules
- natural deduction
- proof search
- default logic
- proof theoretic
- linear time temporal logic
- wide class
- decision procedures
- logic programs
- answer set programming
- temporal logic
- valued logic
- default theories
- fixed point
- sufficient conditions
- bayesian networks