Short equational bases for ortholattices (2004)

by W. Mccune , R. Padmanabhan , M. A. Rose , R. Veroff
Venue:Preprint ANL/MCS-P1087-0903, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
Citations:3 - 3 self

Documents Related by Co-Citation

17 Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers – Mladen Pavičić, Norman D. Megill - 1999
9 Ein Beitrag zur Axiomatik der Abelschen Gruppen – A Tarski - 1938
9 A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke – Robert Veroff - 2003
6 Yet another single law for lattices. Algebra Universalis – W McCune, R Padmanabhan, R Vero - 2000
4 Orthomodular lattices and congruence permutability – D Kelly, R Padmanabhan - 2003
5 equational bases for ortholattices: Web support – W McCune, R Padmanabhan, M A Rose, R Vero
5 Mathematics: Does the proof stack up? Nature – G Szpiro - 2003
18 Equational theories of algebras with distributive congruences – R Padmanabhan, R W Quackenbush - 1973
121 Orthomodular Lattices – G Kalmbach - 1983
21 Short Single Axioms for Boolean Algebra – William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos - 2002
27 General Lattice Theory. Birkhäuser Verlag – G Grätzer - 2003
29 Solving Open Questions and Other Challenge Problems Using Proof Sketches – Robert Veroff - 2001
19 Erotetic logic – Mary Prior, Arthur N Prior - 1955
29 Ivy: A Preprocessor And Proof Checker For First-Order Logic – William Mccune, Olga Shumsky - 1999
20 2.0 Reference Manual and Guide – MACE
11 Single Identities for Lattice Theory and for Weakly Associative Lattices – W. Mccune, R. Padmanabhan - 1995
8 Equational theory of algebras with a majority polynomial – R Padmanabhan - 1977
28 2001b, ‘The CADE-17 ATP System Competition – G. Sutcliffe, F. J. Pelletier
34 Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies – R Veroff - 1996