A short equational axiomatization of orthomodular lattices.

Boleslaw Sobocinski

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

Keyphrases

theorem proving
cooperative
situation calculus
equational theories
real time
machine learning
database
databases