Straccia U. A note on the relationship between fuzzy logic and four-valued logic. Technical report, 2000. |

Abstract (English) |
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. | |

Subject | Fuzzy propositional logic, four-valued (relevance) propositional logic F.4.1 Mathematical Logic: Model theory |

1) Download Document PDF |

Open access Restricted Private