Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]
Pavol Ďuriš (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Pavol Ďuriš (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
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...
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...