Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. A note on the relationship between fuzzy logic and four-valued logic. Technical report, 2000.
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

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional