A cut-free sequent calculus for the bi-intuitionistic logic 2Int.
Sara AyhanPublished in: CoRR (2020)
Keyphrases
- intuitionistic logic
- sequent calculus
- linear logic
- cut elimination
- natural deduction
- inference rules
- proof theoretic
- theorem prover
- fixed point
- logic programming
- linear time temporal logic
- modal logic
- desirable properties
- wide class
- proof search
- logical framework
- classical logic
- sufficient conditions
- expert systems
- nonmonotonic reasoning
- deductive databases