Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
arXiv:1910.05556 · doi:10.1007/s00012-019-0609-1
Abstract
We prove that the universal theory and the quasi-equational theory of bounded residuated distributive lattice-orderegroupoids are both EXPTIME-complete. Similar results areproven for bounded distributive lattices with a unary or binary operator and for some special classes of bounded residuated distributive lattice-ordered groupoids.