Strictly join irreducible varieties of BL-algebras: the missing pieces

DOI10.1016/j.fss.2020.12.008zbMath1473.06012OpenAlexW3116458907MaRDI QIDQ2049269

Stefano Aguzzoli, Matteo Bianchi

Publication date: 24 August 2021

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2020.12.008

zbMATH Keywords

lattices of varietiesBL-algebrassingle-chain completenessstrictly join irreducible varieties

Mathematics Subject Classification ID

MV-algebras (06D35) Varieties of lattices (06B20)

Related Items (3)

Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Finite model property and varieties of BL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Single chain completeness and some related properties
• Varieties of BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Minimally many-valued extensions of the monoidal t-norm based logic MTL
• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
• Varieties of BL-algebras. I: General properties.
• Geometrical methods in Wajsberg hoops
• On the structure of hoops
• On linear varieties of MTL-algebras
• Varieties of Lattices
• Decomposition Theory for Lattices Without Chain Conditions
• Algebraizable logics
• Cyclic Elements in MV‐Algebras and Post Algebras
• Hoops and Fuzzy Logic
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Strictly join irreducible varieties of BL-algebras: the missing pieces