Propositional many-valued logics constitute formalisation of fuzzy logics, as the intended set of truth-values is the real unit interval [0, 1], or meaningful subsets of it. In this paper we propose to frame some intuitive notion about fuzzy truth-values in formal logic and algebraic definitions, inducing some reflections about the usual notion of standard completeness.
On fuzzy truth-values and quasi-standard completeness / S. Aguzzoli, B. Gerla (CEUR WORKSHOP PROCEEDINGS). - In: International Workshop on Fuzzy Logic and Applications 2021 / [a cura di] A. Ciaramella, C. Mencar, S. Montes, S. Rovetta. - [s.l] : CEUR-WS, 2021. - pp. 1-9 (( Intervento presentato al 13. convegno International Workshop on Fuzzy Logic and Applications tenutosi a Vietri sul Mare nel 2021.
On fuzzy truth-values and quasi-standard completeness
S. Aguzzoli;
2021
Abstract
Propositional many-valued logics constitute formalisation of fuzzy logics, as the intended set of truth-values is the real unit interval [0, 1], or meaningful subsets of it. In this paper we propose to frame some intuitive notion about fuzzy truth-values in formal logic and algebraic definitions, inducing some reflections about the usual notion of standard completeness.File | Dimensione | Formato | |
---|---|---|---|
paper03.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
223.95 kB
Formato
Adobe PDF
|
223.95 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.