Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.
Norihiro KamidePublished in: J. Philos. Log. (2020)
Keyphrases
- cut elimination
- sequent calculus
- modal logic
- inference rules
- proof theoretic
- sequent calculi
- decision procedures
- temporal logic
- natural deduction
- linear logic
- classical logic
- intuitionistic logic
- conditional logic
- linear time temporal logic
- nonmonotonic logics
- proof search
- situation calculus
- default logic
- theorem proving
- kripke models
- theorem prover
- conditional probabilities
- first order logic
- machine learning