Single axioms for the left group and right group calculi
From MaRDI portal
Publication:689202
DOI10.1305/ndjfl/1093634569zbMath0804.03006WikidataQ114598322 ScholiaQ114598322MaRDI QIDQ689202
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
free groups; division; modus ponens; axiomatizations; automated theorem-proving; left group calculus; right group calculus
03B35: Mechanization of proofs and logical operations
20E05: Free nonabelian groups
20-04: Software, source code, etc. for problems pertaining to group theory
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
The Legacy of a Great Researcher, A method for finding new sets of axioms for classes of semigroups., Using the prover ANDP to simplify orthogonality., Simplifying von Plato's axiomatization of constructive apartness geometry, Basis reduction for cryptogroups and orthogroups, Computer Solutions of Problems in Inverse Semigroups
Uses Software