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

DOI10.1007/BF00247824zbMATH Open0782.68105OpenAlexW1984266364MaRDI QIDQ688546FDOQ688546

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

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

zbMATH Keywords

groupcondensed detachmentOTTERsingle axioms

Mathematics Subject Classification ID

Cited In (8)

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

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)