Elsevier

Fuzzy Sets and Systems

Volume 138, Issue 1, 16 August 2003, Pages 177-186
Fuzzy Sets and Systems

A triangular norm-based fuzzy predicate logic

https://doi.org/10.1016/S0165-0114(02)00376-7Get rights and content

Abstract

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 KL, 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.

References (20)

There are more references available in the full text version of this article.

The submission is relevant to Non-classical logics and fuzzy set theory in Pure Mathematics.

View full text