Automated discovery of new axiomatizations of the left group and right group calculi

DOI10.1007/BF00247824MaRDI QIDQ688546zbMATH OpenOpenAlexFDO

Authors William McCune

Publication date 2 January 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00247824

zbMATH Keywords

groupcondensed detachmentOTTERsingle axioms

Mathematics Subject Classification ID

Recommendations

• Single axioms for the left group and right group calculi
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• scientific article; zbMATH DE number 1324436
• Single axioms for groups
• The shortest single axioms for groups of exponent 4

Cited in

(8)

• Automatic construction and verification of isotopy invariants
• The problem of automated theorem finding
• Conquering the Meredith single axiom
• Computer solutions of problems in inverse semigroups.
• Single axioms for the left group and right group calculi
• OTTER experiments in a system of combinatory logic
• Single axioms for groups and abelian groups with various operations
• A method for finding new sets of axioms for classes of semigroups.

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Automated discovery of new axiomatizations of 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 Q688546)