Single axioms for the left group and right group calculi

DOI10.1305/ndjfl/1093634569zbMath0804.03006OpenAlexW2046873802WikidataQ114598322 ScholiaQ114598322MaRDI QIDQ689202

William W. 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

free groupsdivisionmodus ponensaxiomatizationsautomated theorem-provingleft group calculusright group calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Free nonabelian groups (20E05) 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)

Related Items (6)

Using the prover ANDP to simplify orthogonality. ⋮ 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 ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ 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