Semisimple varieties of implication zroupoids

DOI10.1007/s00500-015-1950-8zbMath1373.06015arXiv1509.08502OpenAlexW2234498837MaRDI QIDQ2403382

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 8 September 2017

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

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

zbMATH Keywords

subvarietiessimple algebrasDe Morgan algebrasimplication zroupoids

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

Order in implication zroupoids ⋮ On derived algebras and subvarieties of implication zroupoids ⋮ 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

• Order in implication zroupoids
• An algebraic approach to non-classical logics
• A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semisimple varieties of implication zroupoids