Natural dualities for varieties of BL-algebras

DOI10.1007/S00153-005-0312-0MaRDI QIDQ2576643zbMATH OpenOpenAlexFDO

Authors Philippe Niederkorn, Antonio Di Nola

Publication date 14 December 2005

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-005-0312-0

zbMATH Keywords

BL-algebrasBL-chainDavey-Werner dualityinjective algebrasMV-algebrasvariety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Lattices and duality (06D50) Injectives, projectives (08B30)

Review text

BL-algebras, the algebras of Hájek's basic logic, are a generalization of various algebras considered in many-valued logic, including MV-algebras. Results by Aglianò and Montagna show that every finite BL-chain is an ordinal sum of finitely many (necessarily finite) MV-chains. Let \(C\) be a finite BL-chain and \(V(C)\) the variety generated by \(C\). The authors describe a Davey-Werner duality for \(V(C)\) and characterize the injective algebras in \(V(C)\). The results in this paper are a generalization of Davey's dualities for the case when \(C\) is a finite Heyting chain; they also generalize previous results by the second author, as well as results by Cignoli, Priestley, Martinez and others. For background on MV-algebras see the monograph by \textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici} [Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer (2000; Zbl 0937.06009)]. For basic logic see \textit{P. Hájek}'s book [Metamathematics of fuzzy logic. Dordrecht: Kluwer (1998; Zbl 0937.03030)]. For natural dualities see \textit{D. M. Clark} and \textit{B. A. Davey}'s book [Natural dualities for the working algebraist. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)].

Recommendations

• Finiteness based results in BL-algebras
• Natural dualities for varieties of MV-algebras. I
• Natural duality as a tool to study algebras arising from logics
• A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• Algebras Whose Congruence Lattices are Distributive.
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3614837 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1775511 (Why is no real title available?)
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Natural dualities for varieties of MV-algebras. I
• On the structure of hoops
• Residually small varieties
• Varieties of BL-algebras. I: General properties.

Cited in

(7)

• Free algebras in varieties of BL-algebras with a Boolean retract.
• Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras
• Natural dualities in partnership
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Natural extensions and profinite completions of algebras
• Finiteness based results in BL-algebras
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory

This page was built for publication: Natural dualities for varieties of BL-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2576643)