Six new sets of independent axioms for distributive lattices with O and I.

Boleslaw Sobocinski

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

Keyphrases

distributive lattices
boolean algebra
knowledge base
first order logic
multi agent systems
query language
linear programming
modal logic