Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics.
Chuck C. LiangPublished in: LICS (2016)
Keyphrases
- intuitionistic logic
- linear logic
- classical logic
- proof theoretic
- modal logic
- valued logic
- cut elimination
- nonmonotonic logics
- conditional logic
- epistemic logic
- sequent calculus
- logic programming
- proof theory
- natural deduction
- propositional dynamic logic
- theorem prover
- logical framework
- higher order logic
- autoepistemic logic
- proof search
- inference rules
- formal semantics
- fixed point
- kripke models
- wide class
- image registration
- classical first order logic
- affine invariant
- affine transformation
- semantic information
- modal operators
- expressive power
- default reasoning
- valued semantics
- temporal logic
- fuzzy set theory
- fuzzy numbers
- desirable properties
- propositional logic
- fuzzy logic
- proof procedures
- interval valued
- default logic
- possibility theory
- operational semantics
- model theoretic