Abstract
We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations.
Similar content being viewed by others
References
Aguzzoli S.: ‘A note on the representation of McNaughton lines by basic literals’, Soft Comput., 2(3), 111–115 (1998)
Bigard A., Keimel K., Wolfenstein S.: Groupes et anneaux réticulés Lecture Notes in Mathematics, Vol. 608. Springer-Verlag, Berlin (1977)
Bochnak J., Coste M., Roy M.-F.: Real algebraic geometry, vol. 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlin (1998)
Burris S., Sankappanavar H.P.: A course in universal algebra, vol. 78 of Graduate Texts in Mathematics. Springer-Verlag, New York (1981)
Chang C.C.: ‘Algebraic analysis of many valued logic’. Trans. Amer. Math. Soc 88, 467–490 (1958)
Chang C.C.: ‘A new proof of the completeness of the Łukasiewicz axioms’. Trans. Amer. Math. Soc. 93, 74–80 (1959)
Cignoli R.L.O., D’Ottaviano I.M.L., Mundici D.: Algebraic foundations of many-valued reasoning, vol. 7 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2000)
Engelking R.: General topology, vol. 6 of Sigma Series in Pure Mathematics, second edn. Heldermann Verlag, Berlin (1989)
Erné, M., Koslowski, J., Melton, A., Strecker G.E., ‘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.
Esakia L.L.: ‘Topological Kripke models’. Dokl. Akad. Nauk SSSR 214, 298–301 (1974)
Hölder O.: ‘Die Axiome der Quantität und die Lehre vom Maß’. Leipz. Ber. 53, 1–64 (1901)
Johnstone P.T.: Stone spaces, vol. 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1986)
Łukasiewicz J., Tarski A.: ‘Untersuchngen über den Aussagenkalkül.’ C. R. Soc. Sc. Varsovie, 23, 30–50 (1930)
Marra V., Mundici D.: ‘The Lebesgue state of a unital abelian lattice-ordered group’. J. Group Theory 10(5), 655–684 (2007)
Marra V., L. Spada, ‘Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras’. Submitted, 2011.
Mundici D.: Advanced Łukasiewicz Calculus and MV-algebras, vol. 35 of Trends in Logic—Studia Logica Library. Springer, New York (2011)
Rose A., Rosser J.B.: ‘Fragments of many-valued statement calculi’. Trans. Amer. Math. Soc. 87, 1–53 (1958)
Rourke C.P., Sanderson B.J.: Introduction to piecewise-linear topology. Springer-Verlag, Berlin (1982)
Stone M.H.: ‘The theory of representations for Boolean algebras’. Trans. Amer. Math. Soc. 40(1), 37–111 (1936)
Stone M.H.: ‘Applications of the theory of Boolean rings to general topology’. Trans. Amer. Math. Soc. 41(3), 375–481 (1937)
Stone M.H.: ‘The future of mathematics’. J. Math. Soc. Japan 9, 493–507 (1957)
Tarski, A., Logic, semantics, metamathematics. Papers from 1923 to 1938, Oxford at the Clarendon Press, 1956.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memoriam Leo Esakia
Rights and permissions
About this article
Cite this article
Marra, V., Spada, L. The Dual Adjunction between MV-algebras and Tychonoff Spaces. Stud Logica 100, 253–278 (2012). https://doi.org/10.1007/s11225-012-9377-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9377-z