Fuzzy logic as a logic of the expressive strength of information (Q2476641): Difference between revisions

The author introduces a Boolean-like semantics for Łukasiewicz logic. He first proves that every finite Boolean algebra \(B\) equipped with a group \(G\) of automorphisms acting homogeneously on \(B\) carries a natural structure of a finite MV-chain. When \(G\) acts in this way on an infinite Boolean algebra \(B\) having a countable dense subset, a \(G\)-invariant strictly positive measure \(m\) on \(B\) exists, and from its range an MV-algebra can be defined. Further applications are given to cancellative hoops. For related work on the connections between Łukasiewiez logic and Boolean algebras with automorphisms see [\textit{A. Monteiro}, Rev. Roum. Math. Pures Appl. 23, 71--76 (1978; Zbl 0393.06007)] and [\textit{R. Cignoli}, \textit{E. J. Dubuc} and \textit{D. Mundici}, Tatra Mt. Math. Publ. 27, 23--43 (2003; Zbl 1064.06006)].