Natural dualities for varieties of BL-algebras (Q2576643): Difference between revisions

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)].