Contraction-Free Sequent Calculi for intuitionistic Logic: a correction.
Roy DyckhoffPublished in: J. Symb. Log. (2018)
Keyphrases
- intuitionistic logic
- cut elimination
- sequent calculi
- linear logic
- natural deduction
- sequent calculus
- wide class
- classical logic
- proof theoretic
- modal logic
- sufficient conditions
- inference rules
- belief change
- logical framework
- conditional logic
- belief revision
- fixed point
- artificial intelligence
- machine learning
- random variables
- logic programming
- probability distribution