On derived algebras and subvarieties of implication zroupoids

DOI10.1007/S00500-016-2421-6MaRDI QIDQ1703679zbMATH OpenOpenAlexFDO

Authors 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

Birkhoff systemderived algebrasdistributive bisemilatticeimplication zroupoidleft distributive lawright distributive lawsemigroupsubvarieties

Mathematics Subject Classification ID

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

Recommendations

• Semisimple varieties of implication zroupoids
• scientific article; zbMATH DE number 5943805
• Semidistributivity and whitman property in implication zroupoids
• scientific article; zbMATH DE number 703185
• On derivations in group algebras and other algebraic structures
• On ideals of implication groupoids
• Implication zroupoids and identities of associative type
• On derivations associated with different algebraic structures in group algebras
• Derived varieties of semigroups and groupoids
• On extended implication groupoids

Cites work

• A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation
• An algebraic approach to non-classical logics
• De Morgan algebras: new perspectives and applications
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• On distributive quad-lattices
• On implicator groupoids
• Order in implication zroupoids
• Semisimple varieties of implication zroupoids
• Symmetric implication zroupoids and identities of Bol-Moufang type

Cited in

(10)

• Symmetric implication zroupoids and identities of Bol-Moufang type
• Semidistributivity and whitman property in implication zroupoids
• Symmetric implication zroupoids and weak associative laws
• Semisimple varieties of implication zroupoids
• De Morgan algebras: new perspectives and applications
• Order in implication zroupoids
• scientific article; zbMATH DE number 5943805 (Why is no real title available?)
• On implicator groupoids
• Implication zroupoids and identities of associative type
• The lattice of varieties of implication semigroups

Describes a project that uses

Uses Software

• Mace4
• Prover9

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703679)