Chapter

Preferences and Similarities

Volume 504 of the series CISM International Centre for Mechanical Sciences pp 129-159

Logics of Similarity and their Dual Tableaux A Survey

  • Joanna Golińska-PilarekAffiliated withInstitute of Philosophy, Warsaw UniversityNational Institute of Telecommunications
  • , Ewa OrłowskaAffiliated withNational Institute of Telecommunications

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.