Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic.
Neil J. DeBoerPublished in: LFCS (2022)
Keyphrases
- propositional logic
- lattice theory
- belief revision
- minimal models
- logical framework
- nonmonotonic logics
- truth maintenance systems
- horn logic
- logical theories
- classical logic
- possibilistic logic
- proof procedure
- autoepistemic logic
- first order logic
- formal theory
- valued logic
- propositional variables
- quantified boolean formulae
- linear logic
- satisfiability testing
- natural deduction
- modal logic
- cut elimination
- situation calculus
- automated reasoning
- proof theory
- theorem prover
- belief change
- logic programming
- temporal logic
- inference mechanism