Levi's commutator theorems for cancellative semigroups.

DOI10.1007/S00233-005-0506-0MaRDI QIDQ818943zbMATH OpenOpenAlexFDO

Authors R. Padmanabhan, Robert Veroff, William McCune

Publication date 22 March 2006

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-005-0506-0

zbMATH Keywords

automated theorem provingaxiomscancellative semigroupscommutatorsOtterprovability

Mathematics Subject Classification ID

Axiomatics and elementary properties of groups (20A05) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• Commutativity theorems for cancellative semigroups
• The word problem for cancellation semigroups with zero
• Theorem proving in cancellative abelian monoids (extended abstract)
• Cancellative Abelian monoids and related structures in refutational theorem proving. II
• Cancellative Abelian monoids and related structures in refutational theorem proving. I

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Levi's commutator theorems for cancellative semigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q818943)