Proofs for group and Abelian group single axioms
Technical Report
·
OSTI ID:6026544
This memorandum serves as a companion to the paper Single axioms for groups and Abelian groups with various operations.'' That paper presents single axioms for groups and Abelian groups in terms of {l brace}product, inverse{r brace}, {l brace}division{r brace}, {l brace}double division, identity{r brace}, {l brace}double division, inverse{r brace}, {l brace}division, identity{r brace}, and {r brace}division, inverse{r brace}. Proofs that were omitted from that paper are presented here. 3 refs.
- Research Organization:
- Argonne National Lab., IL (United States). Mathematics and Computer Science Div.
- Sponsoring Organization:
- USDOE; USDOE, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6026544
- Report Number(s):
- ANL/MCS-TM-156; ON: DE92003368
- Country of Publication:
- United States
- Language:
- English
Similar Records
Application of automated deduction to the search for single axioms for exponent groups
Application of automated deduction to the search for single axioms for exponent groups
A Short Sheffer axiom for Boolean algebra.
Conference
·
Tue Feb 11 00:00:00 EST 1992
·
OSTI ID:6026544
Application of automated deduction to the search for single axioms for exponent groups
Conference
·
Tue Feb 11 00:00:00 EST 1992
·
OSTI ID:6026544
A Short Sheffer axiom for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:6026544