Logics of similarity and their dual tableaux. A survey

In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159 (2008)
  Copy   BIBTEX


We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
Call for Papers. Special Issue on Logics of Uncertainty.[author unknown] - 2004 - Journal of Logic, Language and Information 7 (2):231-232.
Modal Logics in the Theory of Information Systems.Ewa Orlowska - 1984 - Mathematical Logic Quarterly 30 (13-16):213-222.


Added to PP

27 (#609,703)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ewa Orlowska
Institute of Telecommunications and Information Technology
Joanna Golinska-Pilarek
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references