Cut-elimination for Weak Grzegorczyk Logic Go.
Rajeev GoréRevantha RamanayakePublished in: Stud Logica (2014)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- wide class
- inference rules
- sufficient conditions
- sequent calculi
- proof theoretic
- modal logic
- linear time temporal logic
- intuitionistic logic
- logical framework
- fixed point
- euclidean space
- proof theory
- logic programming
- proof search
- desirable properties
- theorem proving
- probabilistic model