Canonical extensions and relational completeness of some substructural logics.
J. Michael DunnMai GehrkeAlessandra PalmigianoPublished in: J. Symb. Log. (2005)
Keyphrases
- propositional calculus
- default logic
- relational databases
- relational data
- data model
- expressive power
- relational model
- knowledge representation formalisms
- database schema
- aggregate functions
- nonmonotonic logics
- default theories
- inference rules
- modal logic
- data quality
- database language
- databases and data warehouses
- database
- order sorted
- relational queries
- conditional logic
- classical logic
- entity relationship
- efficient implementation
- machine learning
- data sets