The term" fuzzy logic," as it is understood in this book, stands for all aspects of representing
and manipulating knowledge based on the rejection of the most fundamental principle of …

The aim of this paper is to survey a class of logical formalizations of similarity-based
reasoning models where similarity is understood as a graded notion of truthlikeness. We …

An electronic marketplace (e-marketplace) is a common business information space
populated with many entities of different system types. Each of them has its own context of …

Before presenting the contents of the special issue, we propose a structured introductory
overview of a landscape of the weighted logics (in a general sense) that can be found in the …

Cognitive map is a well-known approach to model the dynamics of qualitative systems, and
has been studied and used in various fields, such as psychology, education, engineering …

A formal fuzzy reasoning system and reasoning mechanism based on propositional modal
logic Page 1 Theoretical Computer Science 368 (2006) 149 – 160 www.elsevier.com/locate/tcs …

As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed
in this paper. A description of fuzzy first-order modal logic based on constant domain …

After examining the P versus NP problem against the Kleene-Rosser paradox of the λ-
calculus [95], it was found that it represents a counter-example to NP-completeness. We …

Lluıs is a man with solid academic foundations. He studied Mathematics at the University of
Barcelona and Industrial Engineering at the Technical University of Catalonia, and …

A one-step computation is presented whose intrinsic paradoxical nature prevent it from
being reduced to SAT despite the fact that it is certainly decidable and in the class P. This …