论文信息 - A characterization of MV-algebras free over finite distributive lattices

A characterization of MV-algebras free over finite distributive lattices

Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.

Vincenzo Marra | V. Marra

[1] Giovanni Panti,et al. A geometric proof of the completeness of the Łukasiewicz calculus , 1995, Journal of Symbolic Logic.

[2] C. Bouvier,et al. Système générateur minimal, diviseurs essentiels et $G$-désingularisations de variétés toriques , 1995 .

[3] Stefano Aguzzoli,et al. An algorithmic desingularization of $3$-dimensional toric varieties , 1994 .

[4] D. Mundici,et al. Algebraic Foundations of Many-Valued Reasoning , 1999 .

[5] D. Mundici. Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C∗-algebras , 1988 .

[6] A. Björner. Topological methods , 1996 .

[7] Daniele Mundici,et al. A Characterization of the free n-generated MV-algebra , 2006, Arch. Math. Log..

[8] D. Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[9] C. Rourke,et al. Introduction to Piecewise-Linear Topology , 1972 .

[10] Vincenzo Marra,et al. The Lebesgue state of a unital abelian lattice-ordered group , 2007 .

[11] Zbigniew Semadeni,et al. Schauder Bases in Banach Spaces of Continuous Functions , 1982 .

[12] W. M. Beynon. Vector lattices freely generated by distributive lattices , 1977, Mathematical Proceedings of the Cambridge Philosophical Society.

[13] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.