A fuzzy logic with interval truth values

From MaRDI portal





The author studies Kenevan's fuzzy logic (see the paper of \textit{J. R. Kenevan} and \textit{R. E. Neapolitan}, ``A model theoretic approach to propositional fuzzy logic using Beth tableau [in: L. A. Zadeh and J. Kacprzyk (eds.), Fuzzy logic for the management of uncertainty (Wiley, New York), 141-157 (1992)]). The truth values of the propositions in this logic are represented as subintervals of the real unit interval. The classical propositional logic is a particular case of this logic, when restricting the truth intervals to points. If the truth intervals are subintervals of the interval \((0.5,1)\), then this logic becomes Zadeh's dispositional logic (a disposition is a proposition with truth value of probably true). The completeness and the computational complexity of this logic are also investigated. The author shows finally a truth interval predicate logic.











This page was built for publication: A fuzzy logic with interval truth values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1568481)