Note on the construction of free MV-algebras
A McNaughton function is a map \(f:[0,1]^n\rightarrow [0,1]\), with \(n\in {\mathbb N}^{*}\), such that \(f\) is continuous in the Euclidean topology and there exists a finite number \(k\in {\mathbb N}^{*}\) of linear polynomials \(p_1,\dots ,p_k\) in \(n\) variables with integer coefficients such that, for each \(x\in [0,1]^n\), there exists an index \(j\in \{1,\dots,k\}\) with \(f(x)=p_j(x)\). McNaughton's Theorem states that, for any \(n\in {\mathbb N}^{*}\), the free MV-algebra with \(n\) generators is the MV-algebra of the McNaughton functions on \([0,1]^n\) with operations defined pointwise from the standard MV-algebra operations. The author gives a new proof for McNaughton's Theorem by using Mundici`s fundamental result on the categorical equivalence between MV-algebras and abelian \(l\)-groups with strong unit and Weinberg`s Theorem on free \(l\)-groups.
- On Free MV-Algebras
- Free MV_n-algebras
- A characterization of the free \(n\)-generated MV-algebra
- On free MV algebras and a problem of Tarski
- A discrete representation of free MV-algebras
- A characterization of MV-algebras free over finite distributive lattices
- A characterization of free generating sets in MV-algebras
- scientific article; zbMATH DE number 1547747
- scientific article; zbMATH DE number 6292236
- Note on the construction of free monoids
- A constructive proof of McNaughton's theorem in infinite-valued logic
- A theorem about infinite-valued sentential logic
- Algebraic Analysis of Many Valued Logics
- Free lattice-ordered Abelian groups
- Groupes et anneaux reticules
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- On Free MV-Algebras
- Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
- The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
- Idempotent endomorphisms of free MV-algebras and unital -groups
- A discrete representation of free MV-algebras
- MV-algebras freely generated by finite Kleene algebras.
- A characterization of the free \(n\)-generated MV-algebra
- A characterization of MV-algebras free over finite distributive lattices
This page was built for publication: Note on the construction of free MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q976751)
