No label defined (Q4549482)

This book chapter deals with logical formalizations of the similarity-based reasoning based on upper approximations and continuous triangular norms-based similarity relations. Two types of formalizations are considered: graded entailments and graded modal systems. Graded entailments of two kinds (approximation entailment and proximity entailment) between arbitrary sets of propositions are induced by a reflexive relation \(R\) on the set of interpretations. In the multi-modal approach, a general system of graded modal logic is introduced. Here, Kripke structures with accessibility relations induced by the approximation fuzzy relations as well as some special completeness results are described. Observe that the latter approach is potentially stronger, especially in the finite case. The presented results bring important progress in building the logical foundations of approximate reasoning. For the entire collection see [Zbl 0979.00015].