The free \(n\)-generated BL-algebra

DOI10.1016/J.APAL.2010.02.001zbMath1236.03048OpenAlexW1981560817MaRDI QIDQ636351

Simone Bova, Stefano Aguzzoli

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.02.001

zbMATH Keywords

normal formfree algebrasBL-algebrasWajsberg hoopsMcNaughton functions

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (8)

Franco Montagna's work on provability logic and many-valued logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ The Differential Semantics of Łukasiewicz Syntactic Consequence ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ Functional representation of finitely generated free algebras in subvarieties of BL-algebras ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Varieties of BL-algebras. I: General properties.
• Geometrical methods in Wajsberg hoops
• Algebraizable logics
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A theorem about infinite-valued sentential logic

This page was built for publication: The free \(n\)-generated BL-algebra