A short equational axiomatization of modular ortholattices.

Boleslaw Sobocinski

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

Keyphrases

theorem proving
theorem prover
modular structure
real time
artificial intelligence
situation calculus
data sets
reinforcement learning
learning environment
cooperative
search algorithm
evolutionary algorithm