Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity.
Steffen LewitzkaPublished in: J. Log. Lang. Inf. (2023)
Keyphrases
- expressive power
- computational properties
- relational calculus
- algebraic structure
- database query languages
- logic programming
- highly expressive
- formal language
- semantic information
- formal semantics
- databases
- data complexity
- sentence level
- proof theoretic
- computer algebra
- object identity
- default reasoning
- complex objects
- query language
- database systems