Free algebras in varieties of BL-algebras generated by a BLn-chain
From MaRDI portal
Publication:5480467
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)
MV-algebrasfree algebrasresiduated latticesBL-chainhoopsweak Boolean productsMoisil algebrasvarieties of BL-algebras
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 BLn-chain