Computer Solutions of Problems in Inverse Semigroups

DOI10.1080/00927870902911797zbMath1202.20065OpenAlexW2030271626MaRDI QIDQ3562322

João Araújo, William W. McCune

Publication date: 21 May 2010

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927870902911797

zbMATH Keywords

automated reasoningequational logicinverse semigroupsbigroupoidsaxiomatization

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Mechanization of proofs and logical operations (03B35) Inverse semigroups (20M18) Axiomatics and elementary properties of groups (20A05)

Related Items (5)

Axioms for Unary Semigroups via Division Operations** ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ An elegant 3-basis for inverse semigroups.

Uses Software

• Unnamed Item
• Unnamed Item
• Mace4
• Ivy

Cites Work

• Unnamed Item
• Unnamed Item
• Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
• Automated discovery of new axiomatizations of the left group and right group calculi
• Single axioms for groups
• Single axioms for the left group and right group calculi
• Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
• A field guide to equational logic
• Single identities for lattice theory and for weakly associative lattices
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• Single axioms for groups and abelian groups with various operations
• Single identities for ternary Boolean algebras
• Solution of the Robbins problem
• Short single axioms for Boolean algebra
• Equational postulates for the Sheffer stroke
• Postulates for Commutative Groups
• Another single law for groups
• On single-law definitions of groups
• Universal equational theories and varieties of algebras
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• What groups were: A study of the development of the axiomatics of group theory
• A legacy recalled and a tradition continued

This page was built for publication: Computer Solutions of Problems in Inverse Semigroups