On bivalent semantics and natural deduction for some infectious logics.
Alex BelikovPublished in: Log. J. IGPL (2022)
Keyphrases
- natural deduction
- intuitionistic logic
- inference rules
- theorem prover
- proof theoretic
- proof procedures
- higher order logic
- cut elimination
- proof theory
- nonmonotonic logics
- linear logic
- propositional dynamic logic
- theorem proving
- epistemic logic
- sequent calculus
- classical logic
- modal logic
- conditional logic
- formal semantics
- first order logic
- logical framework
- modal operators
- default reasoning
- training set
- computational properties
- valued logic
- logical theories
- expressive power