Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.
Michael KaminskiNissim FrancezPublished in: Stud Logica (2014)
Keyphrases
- propositional logic
- valued logic
- proof procedure
- nonmonotonic logics
- relational calculus
- possibilistic logic
- first order logic
- database query languages
- belief revision
- horn logic
- minimal models
- relational algebra
- lattice theory
- expressive power
- data model
- formal semantics
- propositional satisfiability
- quantified boolean formulae
- truth maintenance systems
- relational databases
- model theoretic
- propositional formulas
- relational model
- satisfiability testing
- query language
- logical framework
- relational data model
- argumentation frameworks
- reasoning tasks
- belief change
- nonmonotonic reasoning
- theorem proving
- logic programming
- universal quantification
- knowledge base