Fuzzy logic as a logic of the expressive strength of information (Q2476641): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00500-007-0208-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2013083550 / rank | |||
Normal rank |
Revision as of 01:23, 20 March 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