Single axioms for the left group and right group calculi

DOI10.1305/NDJFL/1093634569MaRDI QIDQ689202zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cited in

(9)

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

Describes a project that uses

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)