On the Hilbert-Ackermann theorem in fuzzy logic
Vilém Novák (1996)
Acta Mathematica et Informatica Universitatis Ostraviensis
Similarity:
Displaying similar documents to “Algebraic analysis of LPC+Ch calculus”
On the Hilbert-Ackermann theorem in fuzzy logic
Validation sets in fuzzy logics
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.
On fuzzy intuitionistic logic
Esko Turunen (1992)
Kybernetika
Similarity:
Remark on intuitionistic fuzzy logic and intuitionistic logic.
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.