Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
From MaRDI portal
Publication:4345023
DOI10.2307/2974613zbMath0877.20001OpenAlexW4250014447WikidataQ114587976 ScholiaQ114587976MaRDI QIDQ4345023
Arthur D. Sands, William W. McCune
Publication date: 3 December 1997
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2974613
equational axiomsuniversal quantifiersgroup operationsimplicative axiomsautomated deduction system OTTERaxioms for Abelian groupsaxioms of groupsbinary division
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
A method for finding new sets of axioms for classes of semigroups. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Computer Solutions of Problems in Inverse Semigroups
Uses Software
This page was built for publication: Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups