Spada, Luca:
Geometrical Dualities for Łukasiewicz Logic
Bollettino dell'Unione Matematica Italiana Serie 9 6 (2013), fasc. n.3, p. 749-763, (English)
pdf (388 Kb), djvu (170 Kb). | MR 3202853
Sunto
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.
Referenze Bibliografiche
[1] AGUZZOLI S., A note on the representation of McNaughton lines by basic literals, Soft Comput., 2 (1998), 3, 111-115.
[2]
BIGARD A.,
K. KEIMEL and
S. WOLFENSTEIN,
Groupes et anneaux réticulés,
Lecture Notes in Mathematics, Vol.
608,
Springer-Verlag, Berlin,
1977. |
MR 552653[3]
BURRIS S. and
H. P. SANKAPPANAVAR,
A course in universal algebra, vol.
78 of
Graduate Texts in Mathematics,
Springer-Verlag, New York,
1981. |
MR 648287 |
Zbl 0478.08001[6]
CIGNOLI R. L. O.,
I. M. L. D'OTTAVIANO and
D. MUNDICI,
Algebraic foundations of many-valued reasoning, vol.
7 of
Trends in Logic-Studia Logica Library,
Kluwer Academic Publishers, Dordrecht,
2000. |
fulltext (doi) |
MR 1786097[7]
ENGELKING R.,
General topology, vol.
6 of
Sigma Series in Pure Mathematics, second edn.,
Heldermann Verlag, Berlin,
1989. |
MR 1039321[8]
ERNÉ M.,
J. KOSLOWSKI,
A. MELTON and
G. E. STRECKER,
A primer on Galois connections, in
Papers on general topology and applications (Madison, WI, 1991), vol.
704 of
Ann. New York Acad. Sci.,
New York Acad. Sci., New York,
1993, pp. 103-125. |
fulltext (doi) |
MR 1277847[9]
JOHNSTONE P. T.,
Stone spaces, vol.
3 of
Cambridge Studies in Advanced Mathematics,
Cambridge University Press, Cambridge,
1986. |
MR 861951 |
Zbl 0586.54001[10]
MARRA, V. and
L. SPADA,
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.
Annals of Pure and Applied Logic,
164 (
2013), 192-210, doi: 10.1016/j.apal.2012.10.001. |
fulltext (doi) |
MR 3001543 |
Zbl 1275.03099[13]
ROURKE C. P. and
B. J. SANDERSON,
Introduction to piecewise-linear topology,
Springer-Verlag, Berlin,
1982. |
MR 665919 |
Zbl 0477.57003