Justification logic and type theory as formalizations of intuitionistic propositional logic.
Neil J. DeBoerPublished in: J. Log. Comput. (2022)
Keyphrases
- propositional logic
- lattice theory
- belief revision
- logical framework
- minimal models
- logical theories
- nonmonotonic logics
- possibilistic logic
- horn logic
- truth maintenance systems
- classical logic
- proof procedure
- first order logic
- autoepistemic logic
- linear logic
- quantified boolean formulae
- valued logic
- formal theory
- belief change
- probability theory
- propositional variables
- modal logic
- proof theory
- satisfiability testing
- theorem prover
- propositional satisfiability
- horn clauses
- cut elimination
- situation calculus
- automated reasoning
- theorem proving
- nonmonotonic reasoning