A logic for approximate reasoning
From MaRDI portal
Publication:4314673
DOI10.2307/2275910zbMath0809.03015OpenAlexW2044177285MaRDI QIDQ4314673
Publication date: 29 March 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10453/9027
approximate reasoningsoundnesssimilarity degreesdeduction theoremsgraded consequence operationgraded inference operationgraded similarity relationsimilarity of formulas
Related Items (21)
Integrated semantics and logic metric spaces ⋮ A NUMERICAL APPROACH TO UNCERTAINTY IN ROUGH LOGIC ⋮ Meta-logic programming for a synonymy logic ⋮ Vagueness: where degree-based approaches are useful, and where we can do without ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Similarity mass and approximate reasoning ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ On implicative closure operators in approximate reasoning. ⋮ The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. ⋮ Topology in process calculus. I: Limit behaviour of agents ⋮ Linguistic quantifiers modeled by Sugeno integrals ⋮ Randomization of classical inference patterns and its application ⋮ Logics for approximate and strong entailments ⋮ The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ Fuzzy control as a fuzzy deduction system ⋮ Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) ⋮ A logical approach to interpolation based on similarity relations ⋮ A hybrid programming scheme combining fuzzy-logic and functional-logic resources ⋮ A theory of computation based on quantum logic. I ⋮ Approximate reasoning by similarity-based SLD resolution.
Cites Work
This page was built for publication: A logic for approximate reasoning
