Jack Horner. The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction. In Hamid R. Arabnia, David de la Fuente, Elena B. Kozerenko, José Angel Olivas, Rui Chang, Peter M. LaMonica, Raymond A. Liuzzi, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes. pages 582-587, CSREA Press, 2010.
Abstract is missing.