Single axioms for the left group and right group calculi

DOI10.1305/NDJFL/1093634569zbMATH Open0804.03006OpenAlexW2046873802WikidataQ114598322 ScholiaQ114598322MaRDI QIDQ689202FDOQ689202

Authors: William McCune 

Publication date: 22 January 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634569

Recommendations

• Automated discovery of new axiomatizations of the left group and right group calculi
• Single axioms for odd exponent groups
• Single axioms for groups and abelian groups with various operations
• scientific article; zbMATH DE number 1324436
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups

zbMATH Keywords

divisionfree groupsmodus ponensaxiomatizationsautomated theorem-provingleft group calculusright group calculus

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to group theory (20-04) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited In (9)

• Basis reduction for cryptogroups and orthogroups
• Fiala-Agre list of single axioms for Boolean groups is wrong
• Using the prover ANDP to simplify orthogonality.
• A method for finding new sets of axioms for classes of semigroups.
• Automated discovery of new axiomatizations of the left group and right group calculi
• Simplifying von Plato's axiomatization of constructive apartness geometry
• Computer solutions of problems in inverse semigroups.
• The two-property and condensed detachment
• The legacy of a great researcher

Uses Software

• OTTER

This page was built for publication: Single axioms for the left group and right group calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689202)