Fuzzy logic as a logic of the expressive strength of information (Q2476641): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Hoops and Fuzzy Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5836045 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4549471 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5735229 / rank | |||
Normal rank |
Latest revision as of 19:09, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fuzzy logic as a logic of the expressive strength of information |
scientific article |
Statements
Fuzzy logic as a logic of the expressive strength of information (English)
0 references
12 March 2008
0 references
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)].
0 references
MV-algebra
0 references
Boolean algebra
0 references
automorphism
0 references
floor
0 references
Łukasiewicz logic
0 references
cancellative hoops
0 references