In this paper we deal with the fuzzy propositional logic based on the classical implication operator "p -> q = max{1 - p, q}". Expressions in our logic are boolean combinations of simpler expressions of type (A >= n) and (A <= n) which specify a lower and an upper bound, respectively, of the truth-value of a proposition A. Interestingly, there is a dose relationship between fuzzy logic and four-valued (relevance) logic.
A note on the relationship between fuzzy logic and four-valued logic
Straccia U
2000
Abstract
In this paper we deal with the fuzzy propositional logic based on the classical implication operator "p -> q = max{1 - p, q}". Expressions in our logic are boolean combinations of simpler expressions of type (A >= n) and (A <= n) which specify a lower and an upper bound, respectively, of the truth-value of a proposition A. Interestingly, there is a dose relationship between fuzzy logic and four-valued (relevance) logic.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_406959-doc_142470.pdf
accesso aperto
Descrizione: A note on the relationship between fuzzy logic and four-valued logic
Dimensione
485.03 kB
Formato
Adobe PDF
|
485.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
