Short Equational bases for Ortholattices: Proofs and Countermodels.

McCune, W. ; Padmanabhan, R. ; Rose, M. A. ; Veroff, R.

Technical Information Center Oak Ridge Tennessee

关键词: Equational bases;    Proofs;    Countermodels;    Mathematical models;    Crystal lattices;   

RP-ID  :  DE2004822575

学科分类：工程和技术（综合）

美国|英语

来源: National Technical Reports Library

【 摘 要 】

This document contains proofs and countermodels in support of the paper 'Short Equational Bases for Ortholattices', by the same set of authors. In that paper, short single axioms for ortholattices, orthomodular lattices, and modular ortholattices are presented, all in terms of the Sheffer stroke. The ortholattice axiom is the shortest possible. Other equational bases in terms of the Sheffer stroke and in terms of join, meet, and complement are presented. Computers were used extensively to find candidates, reject candidates, and search for proofs that candidates are single axioms.