In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of four kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. The sets of provable formulas in corresponding inference systems from the point of view of uncertain information can be described by fuzzy filters of those algebraic semantics. Bounded residuated lattice ordered monoids (R`-monoids) are a common generalization of pseudo ...

In this paper we present an automatic evaluation tool for fuzzy first order logic formulas. Since different semantics can be considered for every logical symbol, we allow for such formulas the appearance of syntactic modifiers, in such away that our tool is designed not only to evaluate formulas in existing fuzzy semantics, but also to evaluate the properties in any other semantic framework giv...

In some knowledge domains, a correct handling of vagueness and imprecision is fundamental for adequate knowledge representation and reasoning. For example, when trying to diagnose a disease, medical experts need to confront symptoms described by the patient, which are by definition subjective, and hence vague. Moreover, a single malady may present a diversity of clinical manifestations in diffe...

R. Babuska, Fuzzy Modeling for Control, Kluwer Academic Publ., Dordrecht, 1998, 288 p. B. Bouchon-Meunier, L. Foulloy, M. Ramdani, Logique Floue Exercices Corriges et Exemples d' Applications, Cepadues Editions. Toulouse, 199B, 200 p. G.Q. Chen, Fuzzy Logic in Data Modeling Semantics, Constraints and Database Design, Kluwer Academic Publ., Boston. 1998, 240 p. K.J. Cios. W. Pedrycz, R.S. Swinia...