Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini. Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. Journal of Logic and Computation, 27(8):2525-2549, 2017. [doi]

Abstract

Abstract is missing.