Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components

DOI10.1007/978-3-030-88701-8_1OpenAlexW3208533262MaRDI QIDQ2695340

Matteo Bianchi, Stefano Aguzzoli

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_1

zbMATH Keywords

lattices of varietiesordinal sumsamalgamation propertyBL-algebrashoops

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Transfer theorems for finitely subdirectly irreducible algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Metamathematics of fuzzy logic
• On the structure of rotation-invariant semigroups
• Varieties of BL-algebras. I: General properties.
• Geometrical methods in Wajsberg hoops
• One chain generated varieties of MV-algebras
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Finite model property and varieties of BL-algebras
• Amalgamation and interpolation in ordered algebras.
• On linear varieties of MTL-algebras
• Basic hoops: an algebraic study of continuous t-norms
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• Hoops and Fuzzy Logic

This page was built for publication: Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components