Displaying similar documents to “On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results”

A fuzzy and intuitionistic fuzzy account of the Liar paradox.

Nikolai G. Nikolov (2002)

Mathware and Soft Computing

Similarity:

The Liar paradox, or the sentence I am now saying is false its various guises have been attracting the attention of logicians and linguists since ancient times. A commonly accepted treatment of the Liar paradox [7,8] is by means of Situation semantics, a powerful approach to natural language analysis. It is based on the machinery of non-well-founded sets developed in [1]. In this paper we show how to generalize these results including elements of fuzzy and intuitionistic...

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