Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Ortholattice Identities
These web pages are a supplement to the following paper.
Automatic Proofs and Counterexamples
for Some Ortholattice Identities
The paper has appeared in Information Processing Letters
65 (1998) 285--291.
Here is a
preprint.
Abstract
The paper answers questions on
whether three identities known to hold
for orthomodular lattices are true also for ortholattices.
One is shown to fail by
MACE,
a program that searches for
counterexamples, an the other two are proved to hold by
EQP,
an equational theorem prover.
The problems, from work in quantum logic,
were given to us by Norman Megill and Mladen Pavicic.