Let L be a propositional mathematical fuzzy logic with the real unit interval [0, 1] as its set of truth values. Assume that L has an algebraic semantics given by a variety V of algebras. A finitely additive probability measure (or, state) over the free n-generated V-algebra provides an average value over all assignments of a formula with n many variables in L only if this measure is invariant with respect to automorphisms of the free algebra. In this paper we characterise the states that are invariant with respect to automorphisms of the free n-generated Gödel algebra.
Averaging the Truth Value of Formulas in Gödel Logic / S. Aguzzoli, B. Gerla (IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS). - In: 2023 IEEE International Conference on Fuzzy Systems (FUZZ)[s.l] : IEEE, 2023. - ISBN 979-8-3503-3228-5. - pp. 1-6 (( convegno FUZZ-IEEE 2023 tenutosi a Incheon nel 2023 [10.1109/FUZZ52849.2023.10309744].
Averaging the Truth Value of Formulas in Gödel Logic
S. Aguzzoli;
2023
Abstract
Let L be a propositional mathematical fuzzy logic with the real unit interval [0, 1] as its set of truth values. Assume that L has an algebraic semantics given by a variety V of algebras. A finitely additive probability measure (or, state) over the free n-generated V-algebra provides an average value over all assignments of a formula with n many variables in L only if this measure is invariant with respect to automorphisms of the free algebra. In this paper we characterise the states that are invariant with respect to automorphisms of the free n-generated Gödel algebra.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Averaging_the_Truth_Value_of_Formulas_in_Gdel_Logic.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
304.75 kB
Formato
Adobe PDF
|
304.75 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
