Symmetric implication zroupoids and weak associative laws

DOI10.1007/S00500-018-03701-WzbMATH Open1418.06011arXiv1710.10408OpenAlexW2964129814WikidataQ128637835 ScholiaQ128637835MaRDI QIDQ2318565FDOQ2318565

Authors: Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo 

Publication date: 15 August 2019

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

Abstract: An algebra $mathbfA=langleA,o,0angle$, where $o$ is binary and $0$ is a constant, is called an implication zroupoid ($mathcalI$-zroupoid, for short) if $mathbfA$ satisfies the identities: $(xoy)ozapprox((z^{\prime }ox)o(yoz{)}^{\prime }{)}^{\prime }$ and $0^{″}approx0$, where $x^{\prime }:=xo0$. An implication zroupoid is symmetric if it satisfies $x^{″}approxx$ and $(xo{y}^{\prime }{)}^{\prime }approx(yo{x}^{\prime }{)}^{\prime }$. The variety of symmetric $mathcalI$-zroupoids is denoted by $mathcalS$. We began a systematic analysis of weak associative laws of length $leq4$ in [CS16e], by examining the identities of Bol-Moufang type in the context of the variety $mathcalS$. In this paper we complete the analysis by investigating the rest of the weak associative laws of length $leq4$ relative to $mathcalS$. We show that, of the 155 subvarieties of $mathcalS$ defined by the weak associative laws of size $leq4$, there are exactly $6$ distinct ones. We also give an explicit description of the poset of the (distinct) subvarieties of $mathcalS$ defined by weak associative laws of length $leq4$.

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

Recommendations

• Symmetric implication zroupoids and identities of Bol-Moufang type
• Implication zroupoids and identities of associative type
• On derived algebras and subvarieties of implication zroupoids
• Order in implication zroupoids
• Semidistributivity and whitman property in implication zroupoids

zbMATH Keywords

identity of Bol-Moufang typesemilattice with least element 0symmetric implication zroupoidweak associative law

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Semisimple varieties of implication zroupoids
• De Morgan algebras: new perspectives and applications
• Order in implication zroupoids
• On derived algebras and subvarieties of implication zroupoids
• On implicator groupoids
• Quasigroups, loops, and associative laws
• The varieties of loops of Bol-Moufang type.
• Title not available (Why is that?)
• Implication zroupoids and identities of associative type
• The lattice of varieties of implication semigroups
• The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
• Symmetric implication zroupoids and identities of Bol-Moufang type
• A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation

Cited In (3)

• Symmetric implication zroupoids and identities of Bol-Moufang type
• Semidistributivity and whitman property in implication zroupoids
• Implication zroupoids and identities of associative type

Uses Software

• Prover9
• Mace4

This page was built for publication: Symmetric implication zroupoids and weak associative laws

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