Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

DOI10.1007/978-3-540-92687-0_1zbMath1211.03098OpenAlexW1529778283MaRDI QIDQ3605516

Stefano Aguzzoli, Vincenzo Marra, Simone Bova

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_1

zbMATH Keywords

dualitiesprime filterslocally finite varietiesBL-algebrasfree BL-algebrassubvarieties of BL-algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (6)

The variety generated by all the ordinal sums of perfect MV-chains ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ \(n\)-contractive BL-logics ⋮ Representation of BL-algebras with finite independent spectrum ⋮ States of finite GBL-algebras with monoidal sum ⋮ On finite MTL-algebras that are representable as poset products of Archimedean chains

Cites Work

• Unnamed Item
• The free \(n\)-generated BL-algebra
• Metamathematics of fuzzy logic
• Finite BL-algebras
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Computing coproducts of finitely presented Gödel algebras
• The Blok-Ferreirim theorem for normal GBL-algebras and its application

This page was built for publication: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras