The Lambek Calculus Extended with Intuitionistic Propositional Logic.
Michael KaminskiNissim FrancezPublished in: Stud Logica (2016)
Keyphrases
- propositional logic
- proof procedure
- first order logic
- belief revision
- quantified boolean formulae
- theorem prover
- lattice theory
- natural deduction
- davis putnam
- possibilistic logic
- theorem proving
- belief change
- horn logic
- knowledge representation
- satisfiability testing
- logical framework
- linear logic
- propositional satisfiability
- knowledge base
- automated reasoning
- relational databases
- search algorithm