On derived algebras and subvarieties of implication zroupoids

DOI10.1007/s00500-016-2421-6zbMath1381.06004OpenAlexW2558911151MaRDI QIDQ1703679

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 7 March 2018

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

Full work available at URL: https://doi.org/10.1007/s00500-016-2421-6

zbMATH Keywords

semigroupsubvarietiesimplication zroupoidBirkhoff systemleft distributive lawright distributive lawderived algebrasdistributive bisemilattice

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 (5)

On implicator groupoids ⋮ Symmetric implication zroupoids and identities of Bol-Moufang type ⋮ Semidistributivity and whitman property in implication zroupoids ⋮ Symmetric implication zroupoids and weak associative laws ⋮ The lattice of varieties of implication semigroups

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Order in implication zroupoids
• On implicator groupoids
• An algebraic approach to non-classical logics
• Symmetric implication zroupoids and identities of Bol-Moufang type
• Semisimple varieties of implication zroupoids
• A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation
• On distributive quad-lattices

This page was built for publication: On derived algebras and subvarieties of implication zroupoids