Symmetric implication zroupoids and identities of Bol-Moufang type

DOI10.1007/s00500-017-2869-zzbMath1398.06018arXiv1710.10561OpenAlexW2962945689MaRDI QIDQ1800250

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 23 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.10561

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Other generalizations of distributive lattices (06D75)

Related Items

On derived algebras and subvarieties of implication zroupoids ⋮ Semidistributivity and whitman property in implication zroupoids ⋮ Symmetric implication zroupoids and weak associative laws

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order in implication zroupoids
• On implicator groupoids
• An algebraic approach to non-classical logics
• On derived algebras and subvarieties of implication zroupoids
• Quasigroups, loops, and associative laws
• Semisimple varieties of implication zroupoids
• The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
• The varieties of loops of Bol-Moufang type.
• A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation