Studies in the axiomatic foundations of Boolean algebra. III.

Czeslaw Lejewski

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

Keyphrases

boolean algebra
set theory
cardinality constraints
constraint query languages
artificial intelligence
upper approximation
knowledge base
theorem prover
expert systems