Free algebras in varieties of BL-algebras generated by a BLn-chain

DOI10.1017/S1446788700014117zbMath1094.03058MaRDI QIDQ5480467

Manuela Busaniche, Roberto L. O. Cignoli

Publication date: 1 August 2006

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

MV-algebrasfree algebrasresiduated latticesBL-chainhoopsweak Boolean productsMoisil algebrasvarieties of BL-algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Free algebras (08B20)

Related Items (6)

MV-closures of Wajsberg hoops and applications ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Boolean representation of bounded BCK-algebras ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ Canonicity in subvarieties of BL-algebras ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains

Cites Work

• Unnamed Item
• Equationally complete classes of commutative monoids with monus
• Metamathematics of fuzzy logic
• Wajsberg algebras and Post algebras
• Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Boolean products of BL-algebras
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
• Free cancellative hoops
• On the structure of hoops
• Skolem's discovery of Gödel-Dummett logic
• Free algebras in varieties of BL-algebras generated by a chain.
• Free L-algebras
• A theorem about infinite-valued sentential logic

This page was built for publication: Free algebras in varieties of BL-algebras generated by a BL_n-chain