A propositional metric logic with fixed finite ranges

DOI10.3233/FI-2020-1938MaRDI QIDQ5134355zbMATH OpenOpenAlexFDO

Authors Nenad Stojanović, Radoslav S. Djordjević, Nebojša Ikodinović

Publication date 16 November 2020

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2020-1938

zbMATH Keywords

compactnesscompletenessmetric operatorssoundness

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A propositional logic with binary metric operators
• Logics of metric spaces
• Axiomatizing distance logics
• Distances and uncertainty measures on the propositional formulas of an n-valued logic
• A modal logic framework for reasoning about comparative distances and topology

Cited in

(3)

• General rough modeling of cluster analysis
• A propositional logic with binary metric operators
• Decidable metric logics

This page was built for publication: A propositional metric logic with fixed finite ranges

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