Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.
Hiroakira OnoPublished in: Stud Logica (2012)
Keyphrases
- propositional calculus
- expressive power
- first order logic
- modal logic
- data sets
- inference rules
- logic rules
- algebraic geometry
- order sorted
- query language
- case study
- data quality
- temporal logic
- information retrieval
- databases
- computational properties
- nonmonotonic logics
- algebraic structure
- database
- propositional dynamic logic
- algebraic expressions