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
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
