๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A triangular norm-based fuzzy predicate logic

โœ Scribed by San-Min Wang; Bao-Shu Wang; Guo-Jun Wang

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
237 KB
Volume
138
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.

โœฆ Synopsis

Fuzzy predicate calculi are powerful tools in analyzing topics of Zadeh's agenda, such as fuzzy modus ponens, compositional rule of inference, fuzzy functions and fuzzy control, etc. So far, however, predicate logics which are complete with respect to the semantics over [0; 1] are rather scarce. In this paper, a new type of fuzzy predicate logic K * L , which has a recursive axiomatization that is complete with respect to the semantics over [0; 1], is introduced. Furthermore, its important applications are also discussed.

๐Ÿ“œ SIMILAR VOLUMES

The triangular norm-based addition of fu
The triangular norm-based addition of fuzzy intervals
โœ S.Y. Hwang; J.J. Hwang; J.H. An ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 272 KB

The strict triangular norm-based addition of fuzzy intervals of L-R type with any left and right spreads is approximated by a necessary and sufficient condition, which generalizes the results about fuzzy numbers of L-R type with common spreads.

Some mathematical aspects of fuzzy sets:
Some mathematical aspects of fuzzy sets: Triangular norms, fuzzy logics, and generalized measures
โœ Erich Peter Klement ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 471 KB

From a mathematical point of view, the use of triangular norms as connectives in many-valued, in particular in [0, 1]valued logics and fuzzy logics is discussed. Also, an overview of some non-additive generalizations of classical measures is given. (~) 1997 Elsevier Science B.V.