- Short Equational Bases for Ortholattices W. McCune, R. Padmanabhan, M. A. Rose, and R. Veroff
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- An Anthropomorphized Version of McCune's Machine Proof that Robbins Algebras are Boolean Algebras
- Uniqueness of Steiner Laws on Cubic Curves R. Padmanabhan
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- Short Equational Bases for Ortholattices R. Padmanabhan
- Automatic Proofs and Counterexamples for Some Ortholattice Identities
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- Computer and Human Reasoning: Single Implicative Axioms for Groups
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- 5 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies
- Theorem8DUAL-BA-8. A self-dual93-basis for BA (majority reduction). >>>(SD-dist) >>
- Lemma IL-2. Inverse loop schema gives inverse loop basis. {fi = ff} )
- Theorem IL-1. A single axiom for inverse loops. 8 9 < x0. x = y0. y=
- ARGONNE NATIONAL LABORATORY 9700 South Cass Avenue
- Theorem DUAL-BA-2.8 A basis for Boolean algebra (to9show dependence). >>>(x + y) . y = y >>
- Theorem LT-3. Sholander's basis for8distributive lattices. 9 >>>y ^ x = x ^ y >>>
- Theorem LT-6. McKenzie's basis for the variety generated by N5. (Suggested by David Kelly.)
- Theorem8DUAL-GT-7. An independent self-dual94-basis schema for GT. >>> 8 x . x0= y . y0 9
- Theorem LT-2. SAM's lemma. Let L be a modular lattice with 0 and 1. For all x, y 2 L, if z1 is a complement
- Theorem8DUAL-BA-3. A self-dual 2-basis for BA (Pixley reduction).9 >>>x . (y + z) = (x . y) + (xx.+z)(y . z) = (x + y) . (x>+>z)
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
