Splittings in Subreducts of Hoops
Paolo Aglianò · Studia Logica · 2022
Abstract In this paper we extend to various classes of subreducts of hoops some results about splitting algebras. In particular we prove that every finite chain in the purely implicational fragment of basic hoops is splitting and that every finite chain in the $$\{\wedge ,\rightarrow \}$$ { ∧ , → } fragment of hoops is splitting. We also produce explicitly the splitting equations in most cases.