A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.
Zhe LinMinghui MaPublished in: Stud Logica (2022)
Keyphrases
- linear logic
- proof theoretic
- theorem prover
- inference rules
- cut elimination
- higher order logic
- natural deduction
- classical logic
- sequent calculi
- proof theory
- sequent calculus
- modal logic
- positive and negative
- theorem proving
- proof search
- logical framework
- fixed point
- expressive power
- machine translation
- logic programming
- decision procedures
- automated reasoning
- fuzzy set theory
- default reasoning
- query translation
- interval valued
- neural network
- desirable properties
- first order logic
- knowledge base