On implicator groupoids

DOI10.1007/s00012-017-0429-0zbMath1421.06002arXiv1509.03774OpenAlexW2963236767MaRDI QIDQ522223

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 13 April 2017

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

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

zbMATH Keywords

De Morgan algebraimplicator groupoid

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) Sets with a single binary operation (groupoids) (20N02)

Related Items

On derived algebras and subvarieties of implication zroupoids, 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
• Unnamed Item
• Unnamed Item
• Order in implication zroupoids
• Projective bichains
• An algebraic approach to non-classical logics
• 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
• Congruence lattices of semilattices
• Semisimple varieties of implication zroupoids