Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.
Diego N. CastañoJuan Manuel CornejoPublished in: Stud Logica (2016)
Keyphrases
- intuitionistic logic
- sequent calculus
- linear logic
- cut elimination
- natural deduction
- inference rules
- linear time temporal logic
- classical logic
- proof theoretic
- modal logic
- desirable properties
- theorem prover
- proof search
- wide class
- fixed point
- logical framework
- theorem proving
- programming language
- knowledge representation
- machine learning
- logic programming
- sufficient conditions
- general purpose