On the Hilbert-Ackermann theorem in fuzzy logic
Vilém Novák (1996)
Acta Mathematica et Informatica Universitatis Ostraviensis
Similarity:
Vilém Novák (1996)
Acta Mathematica et Informatica Universitatis Ostraviensis
Similarity:
Rostislav Horčík, Mirko Navara (2002)
Kybernetika
Similarity:
The validation set of a formula in a fuzzy logic is the set of all truth values which this formula may achieve. We summarize characterizations of validation sets of -fuzzy logics and extend them to the case of -fuzzy logics.
Juan Luis Castro (1999)
Mathware and Soft Computing
Similarity:
In this paper we try to answer the following questions: What can be made by applying fuzzy logic? and What can not be made by applying fuzzy logic? The question will be analyzed from both a theoretical and an applied point of view. A (partial) answer will be given for three topics: a) as calculus procedure b) as reasoning mechanism and c) as engineering tool.
Krassimir T. Atanassov (1995)
Mathware and Soft Computing
Similarity:
It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.