First-order logics for comparative similarity
From MaRDI portal
The author offers a formalization of the notion of degree of similarity. It is argued that this should be a four-termed relation of comparative similarity. Some results on axiomatizations by a finite number of first- order formulas and on correspondence between theories are obtained.
Recommendations
- scientific article; zbMATH DE number 1136654
- scientific article; zbMATH DE number 876723
- Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
- A logic for approximate reasoning
Cited in
(14)- New work for Carnap's quasi-analysis
- A logical approach to interpolation based on similarity relations
- Structural similarity within and among languages
- Changes in preference
- Counterfactual dependence and Arrow
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
- Iterated contraction based on indistinguishability
- A General Similarity Framework for Horn Clause Logic
- Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
- scientific article; zbMATH DE number 3557733 (Why is no real title available?)
- Comparative Similarity, Tree Automata, and Diophantine Equations
- A modal logic framework for reasoning about comparative distances and topology
- Non-metric propositional similarity
- A new analysis of quasianalysis
This page was built for publication: First-order logics for comparative similarity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1123881)
