Logic of approximate entailment in quasimetric spaces

DOI10.1016/J.IJAR.2015.06.008zbMATH Open1344.68225arXiv1808.10320OpenAlexW2181311084MaRDI QIDQ899186FDOQ899186

Thomas Vetterlein

Publication date: 21 December 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Abstract: The logic LAE discussed in this paper is based on an approximate entailment relation. LAE generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are modelled by subsets of a distance space and statements are of the form that one property implies another property within a certain limit of tolerance. We adopt the conceptual framework defined by E. Ruspini; our work is towards a contribution to the investigation of suitable logical calculi. LAE is based on the assumption that the distance function is a quasimetric. We provide a proof calculus for LAE and we show its soundness and completeness for finite theories. As our main tool for showing completeness, we use a representation of proofs by means of weighted directed graphs.

Full work available at URL: https://arxiv.org/abs/1808.10320

Recommendations

• Logic of approximate entailment in quasimetric and in metric spaces
• \(D\)-logic metric space and approximate reasoning
• scientific article
• Logics of metric spaces
• Modal logics of metric spaces
• An approximate logic for measures
• Logics for approximate and strong entailments
• Quantified intuitionistic logic over metrizable spaces
• Measure-entailment and support in the logic of approximate generalizations
• scientific article; zbMATH DE number 1746426

zbMATH Keywords

logic of approximate entailmentquasimetric spaceproof forest

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Cites Work

• Logics for approximate and strong entailments
• A logical approach to interpolation based on similarity relations
• A modal account of similarity-based reasoning
• On the semantics of fuzzy logic
• Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
• Title not available (Why is that?)
• Logical approaches to fuzzy similarity-based reasoning: an overview
• Logics of metric spaces
• A Logic for Concepts and Similarity
• Notes on logics of metric spaces
• Graded consequence revisited
• Title not available (Why is that?)
• Proof theory for fuzzy logics
• A representation theorem for quasi-metric spaces
• Proof systems for lattice theory
• Title not available (Why is that?)
• Foundations of computational intelligence. Volume 2: Approximate reasoning
• On implicative closure operators in approximate reasoning.
• Graded Consequence with Fuzzy Set of Premises

Cited In (4)

• Logics for approximate entailment in ordered universes of discourse
• Title not available (Why is that?)
• A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples
• Logic of approximate entailment in quasimetric and in metric spaces

This page was built for publication: Logic of approximate entailment in quasimetric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899186)