Semidistributivity and whitman property in implication zroupoids

DOI10.1515/ms-2021-0056zbMath1491.06037arXiv2009.07978MaRDI QIDQ2063346

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 11 January 2022

Published in: Mathematica Slovaca (Search for Journal in Brave)

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

zbMATH Keywords

semilattice; De Morgan algebra; implication zroupoid; semidistributivity; Birkhoff bisemigroup; Birkhoff identity; whitman property

Mathematics Subject Classification ID

08B15: Lattices of varieties

08B05: Equational logic, Mal'tsev conditions

03G25: Other algebras related to logic

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

06D75: Other generalizations of distributive lattices

Uses Software

• Prover9
• Mace4