Natural dualities for varieties of BL-algebras (Q2576643): Difference between revisions
From MaRDI portal
Latest revision as of 14:11, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Natural dualities for varieties of BL-algebras |
scientific article |
Statements
Natural dualities for varieties of BL-algebras (English)
0 references
14 December 2005
0 references
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)].
0 references
MV-algebras
0 references
BL-algebras
0 references
BL-chain
0 references
variety
0 references
Davey-Werner duality
0 references
injective algebras
0 references
0 references
0 references