Glivenko sequent classes and constructive cut elimination in geometric logics.
Giulio FellinSara NegriEugenio OrlandelliPublished in: Arch. Math. Log. (2023)
Keyphrases
- cut elimination
- sequent calculus
- inference rules
- sequent calculi
- modal logic
- proof theoretic
- linear logic
- natural deduction
- wide class
- intuitionistic logic
- classical logic
- linear time temporal logic
- temporal logic
- proof theory
- sufficient conditions
- theorem prover
- decision procedures
- nonmonotonic logics
- logical framework
- expressive power
- class labels
- proof search
- desirable properties
- random variables