𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Natural dualities for varieties of BL-algebras

✍ Scribed by Antonio Di Nola; Philippe Niederkorn

Publisher
Springer
Year
2005
Tongue
English
Weight
191 KB
Volume
44
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Natural Dualities for Varieties of MV-Al
Natural Dualities for Varieties of MV-Algebras, I
✍ Philippe Niederkorn πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 133 KB

MV-algebras are the Lindenbaum algebras for Łukasiewicz's infinite-valued logic, just as Boolean algebras correspond to the classical propositional calculus. The finitely generated subvarieties of the variety M M of all MV-algebras are generated by finite chains. We develop a natural duality, in the

Varieties of BL-algebras
Varieties of BL-algebras
✍ A. Di Nola; F. Esteva; L. Godo; F. Montagna πŸ“‚ Article πŸ“… 2005 πŸ› Springer 🌐 English βš– 267 KB
Functor category dualities for varieties
Functor category dualities for varieties of Heyting algebras
✍ B.A. Davey; M.R. Talukder πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 228 KB

Let A be a ΓΏnitely generated variety of Heyting algebras and let SI(A) be the class of subdirectly irreducible algebras in A. We prove that A is dually equivalent to a category of functors from SI(A) into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.