Logic of approximate entailment in quasimetric spaces

DOI10.1016/j.ijar.2015.06.008zbMath1344.68225arXiv1808.10320OpenAlexW2181311084MaRDI QIDQ899186

Thomas Vetterlein

Publication date: 21 December 2015

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

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

zbMATH Keywords

logic of approximate entailmentquasimetric spaceproof forest

Mathematics Subject Classification ID

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

Related Items (3)

Logic of approximate entailment in quasimetric and in metric spaces ⋮ A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples ⋮ Logics for approximate entailment in ordered universes of discourse

Cites Work

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

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