A cut elimination theorem for stationary logic.
Manfred E. SzaboPublished in: Ann. Pure Appl. Log. (1987)
Keyphrases
- cut elimination
- intuitionistic logic
- sequent calculus
- linear logic
- natural deduction
- wide class
- inference rules
- sequent calculi
- proof theoretic
- classical logic
- sufficient conditions
- modal logic
- fixed point
- proof search
- linear time temporal logic
- proof theory
- logic programming
- expert systems
- logical framework
- model checking
- graphical models