On implicator groupoids

DOI10.1007/S00012-017-0429-0zbMATH Open1421.06002arXiv1509.03774OpenAlexW2963236767MaRDI QIDQ522223FDOQ522223

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 13 April 2017

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the variety I of algebras, there called implication zroupoids (I-zroupoids) and here called implicator gruopids (I- groupoids), that generalize De Morgan algebras. The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of I, and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of I are introduced and their relationship with each other, and with the subvarieties of I which were already investigated in the paper mentioned above, are explored.

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

Recommendations

• Semisimple varieties of implication zroupoids
• On derived algebras and subvarieties of implication zroupoids
• De Morgan algebras: new perspectives and applications
• Order in implication zroupoids
• Distributive implication groupoids

zbMATH Keywords

De Morgan algebraimplicator groupoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Equational logic, Mal'tsev conditions (08B05) Sets with a single binary operation (groupoids) (20N02) Lattices of varieties (08B15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Congruence lattices of semilattices
• Semisimple varieties of implication zroupoids
• De Morgan algebras: new perspectives and applications
• Order in implication zroupoids
• Title not available (Why is that?)
• Projective bichains
• A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis
• On derived algebras and subvarieties of implication zroupoids

Cited In (10)

• Title not available (Why is that?)
• On derived algebras and subvarieties of implication zroupoids
• General implicativity in groupoids
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lattice of varieties of implication semigroups
• Symmetric implication zroupoids and weak associative laws
• Distributive implication groupoids
• Symmetric implication zroupoids and identities of Bol-Moufang type
• Semidistributivity and whitman property in implication zroupoids

Uses Software

• Prover9
• Mace4

This page was built for publication: On implicator groupoids

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