Representation of Łukasiewicz' many-valued algebras. The atomic case (Q800924): Difference between revisions

L'objet essentiel de cet article est de montrer que toute algèbre multivalente de Łukasiewicz peut être immergée par un monomorphisme (prolongeant le monomorphisme de Stone) dans une algèbre floue. Malheureusement, la démonstration nous semble inexacte, à moins de supposer que la chaîne I (\(\theta\)-valente) soit complète, ce qui n'est pas le cas en général. En effet, l'A. définit l'application f par: \(f(x)(p)=Sup\{\alpha \in I^ 0:\quad p\leq \phi_{\alpha}(x)\}\) et ce supremum n'existe pas nécessairement. Il convient alors de remplacer la chaîne I par la chaîne des sections initiales de I. La démonstration complète se trouve dans un article du ''reviewer'' [Rev. Roumaine Math. Pur. Appl. 23, 103-111 (1978; Zbl 0376.02048)].