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

Active Bibliography

4 Automated discovery of single axioms for ortholattices – W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff - 2005
SINGLE AXIOMS: WITH AND WITHOUT COMPUTERS – William Mccune
1 Automated Equational Deduction with Otter – William Mccune, R. Padmanabhan - 1995
9 A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke – Robert Veroff - 2003
42 OTTER 3.3 Reference Manual – William Mccune
3 Yet another single law for lattices – William Mccune, R. Padmanabhan, Robert Veroff
2 Axiomatizing the Skew Boolean Propositional Calculus – R. Veroff, M. Spinks - 2007
21 Short Single Axioms for Boolean Algebra – William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos - 2002
5 Practical Proof Checking for Program Certification – Geoff Sutcliffe, Ewen Denney, Bernd Fischer - 2005
Received (Day Month Year) – Geoff Sutcliffe
ANL/MCS-TM-244 A Short Sheffer Axiom for Boolean Algebra – Robert Veroff, William Mccune - 2000
1 The Flowering of Automated Reasoning – Larry Wos - 2001
Using Automated Theorem Provers in Nonassociative Algebra – J. D. Phillips
3 Automated theorem proving in quasigroup and loop theory – J. D. Phillips, David Stanovsky
Automated Deduction in Equational Logic and Geometry – William Mccune, R. Padmanabhan - 1995
3 Experiments concerning the Automated Search for Elegant Proofs – Larry Wos - 1997
8 Automating the search for elegant proofs – Larry Wos
27 Automated Deduction in Equational Logic and Cubic Curves – William McCune, R. Padmanabhan - 1996
9 Using a theorem prover for reasoning on constraint problems – Marco Cadoli, Toni Mancini - 2006