Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.
Rajeev GoréLinda PostnieceAlwen TiuPublished in: Advances in Modal Logic (2010)
Keyphrases
- cut elimination
- proof search
- linear logic
- sequent calculus
- natural deduction
- inference rules
- wide class
- theorem prover
- proof theoretic
- modal logic
- desirable properties
- sufficient conditions
- fixed point
- intuitionistic logic
- linear time temporal logic
- logical framework
- logic programming
- theorem proving
- first order logic
- machine learning
- classical logic
- metaheuristic