مؤلف: Ewa Orlowska

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionist …

Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the …

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and – plications of Relational Structures as Knowledge …

…

…

The construction of any broadly understood theory of information or infor- mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and comput …

This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics …

…

In 1982, Professor Pawlak published his seminal paper on what he called "rough sets" – a work which opened a new direction in the development of theories of incomplete information. Today, a …