Geometrical Dualities for Łukasiewicz Logic
Bollettino della Unione matematica italiana, Série 9, Tome 6 (2013) no. 3, pp. 749-763

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

This article develops a general dual adjunction between MV-algebras (the algebraic equivalents of Łukasiewicz logic) and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. Such a dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. Further the duality theorem for finitely presented objects is obtained from the general adjunction by a further specialisation. The treatment is aimed at emphasising the generality of the framework considered here in the prototypical case of MV-algebras.
@article{BUMI_2013_9_6_3_a17,
     author = {Spada, Luca},
     title = {Geometrical {Dualities} for {{\L}ukasiewicz} {Logic}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {749--763},
     publisher = {mathdoc},
     volume = {Ser. 9, 6},
     number = {3},
     year = {2013},
     mrnumber = {3202853},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2013_9_6_3_a17/}
}
TY  - JOUR
AU  - Spada, Luca
TI  - Geometrical Dualities for Łukasiewicz Logic
JO  - Bollettino della Unione matematica italiana
PY  - 2013
SP  - 749
EP  - 763
VL  - 6
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2013_9_6_3_a17/
LA  - en
ID  - BUMI_2013_9_6_3_a17
ER  - 
%0 Journal Article
%A Spada, Luca
%T Geometrical Dualities for Łukasiewicz Logic
%J Bollettino della Unione matematica italiana
%D 2013
%P 749-763
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2013_9_6_3_a17/
%G en
%F BUMI_2013_9_6_3_a17
Spada, Luca. Geometrical Dualities for Łukasiewicz Logic. Bollettino della Unione matematica italiana, Série 9, Tome 6 (2013) no. 3, pp. 749-763. http://geodesic.mathdoc.fr/item/BUMI_2013_9_6_3_a17/