Next:
Theorem EQ-1: The Commutator
Up:
An Entry in the Contest
Previous:
Theorem 7: Many-valued Sentential
Summary of Otter Outputs for the Equality Set
Theorem EQ-1: The Commutator Theorem
Theorem EQ-2: Robbins Algebra, 2#2 Boolean
Theorem EQ-3: On Ternary Boolean Algebra
Theorem EQ-4: Group Theory Single Axiom
Theorem EQ-5: On Wajsberg Algebra
Karen D. Toonen
1998-11-18
