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.
A note on paracomplete logic
Newton C. A. da Costa, Diego Marconi (1986)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.
Declarative and procedural semantics of fuzzy similarity based unification
Peter Vojtáš (2000)
Kybernetika
Similarity:
In this paper we argue that for fuzzy unification we need a procedural and declarative semantics (as opposed to the two valued case, where declarative semantics is hidden in the requirement that unified terms are syntactically – letter by letter – identical). We present an extension of the syntactic model of unification to allow near matches, defined using a similarity relation. We work in Hájek’s fuzzy logic in narrow sense. We base our semantics on a formal model of fuzzy logic programming...