PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
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


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