A method for finding new sets of axioms for classes of semigroups.

DOI10.1007/S00153-012-0276-9zbMath1262.20059OpenAlexW2015017605MaRDI QIDQ453187

Janusz Konieczny, João Araújo

Publication date: 18 September 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10400.2/3815

zbMATH Keywords

bandsinverse semigroupssemilatticesgroups of finite exponentaxioms for classes of semigroupsclasses of groupoids

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Semigroups of transformations, relations, partitions, etc. (20M20) Varieties and pseudovarieties of semigroups (20M07) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Relational systems, laws of composition (08A02) Sets with a single binary operation (groupoids) (20N02) Axiomatics and elementary properties of groups (20A05)

Related Items (2)

The rank of the semigroup of transformations stabilising a partition of a finite set ⋮ The commuting graph of the symmetric inverse semigroup

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• The early development of the algebraic theory of semigroups
• Absorption and idempotency criteria for a problem in near-Boolean algebras
• A shortest single axiom for the classical equivalential calculus
• Single identities for lattice theory and for weakly associative lattices
• Single axioms for groups and abelian groups with various operations
• The shortest single axioms for groups of exponent 4
• Solution of the Robbins problem
• Automorphism groups of centralizers of idempotents.
• A generalization of Moufang and Steiner loops.
• Short single axioms for Boolean algebra
• Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus
• Single axioms for odd exponent groups
• Axiomatization of propositional calculus with Sheffer functors
• Notes on the axiomatics of the propositional calculus
• Equational logic
• Equational postulates for the Sheffer stroke
• Semigroups of Transformations Preserving an Equivalence Relation and a Cross-Section
• Postulates for Commutative Groups
• Computer Solutions of Problems in Inverse Semigroups
• Another single law for groups
• On single-law definitions of groups
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• Equational Theories of Algebras with Distributive Congruences
• What groups were: A study of the development of the axiomatics of group theory
• New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica

This page was built for publication: A method for finding new sets of axioms for classes of semigroups.