MTL-algebras as rotations of basic hoops

DOI10.1093/LOGCOM/EXZ005zbMath1480.06006OpenAlexW2919826244WikidataQ128348824 ScholiaQ128348824MaRDI QIDQ5213394

Paolo Agliano, Sara Ugolini

Publication date: 3 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exz005

zbMATH Keywords

BL-algebrassplitting algebrasMTL-algebrasbasic hoopsdisconnected rotations

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) MV-algebras (06D35) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items (8)

Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Gluing residuated lattices ⋮ Structural and universal completeness in algebra and logic ⋮ Rotation logics ⋮ Projectivity in (bounded) commutative integral residuated lattices

This page was built for publication: MTL-algebras as rotations of basic hoops