Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

first order logic
set theory
query language
relational algebra
von neumann
data model
artificial intelligence
boolean algebra
algebraic expressions
databases
neural network