A logic for reasoning about relative similarity

Studia Logica 58 (1):185-226 (1997)
  Copy   BIBTEX

Abstract

A similarity relation is a reflexive and symmetric binary relation between objects. Similarity is relative: it depends on the set of properties of objects used in determining their similarity or dissimilarity. A multi-modal logical language for reasoning about relative similarities is presented. The modalities correspond semantically to the upper and lower approximations of a set of objects by similarity relations corresponding to all subsets of a given set of properties of objects. A complete deduction system for the language is presented.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Analytics

Added to PP
2009-01-28

Downloads
64 (#247,260)

6 months
19 (#130,585)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.

Add more references