A propositional logic with binary metric operators

MaRDI QIDQ5869573zbMATH OpenFDO

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

Publication date 28 September 2022

zbMATH Keywords

completenessmetric operatorssoundness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A propositional metric logic with fixed finite ranges
• Axiomatizing distance logics
• Distances and uncertainty measures on the propositional formulas of an n-valued logic
• Logics of metric spaces
• Metric structures on Boolean algebras and an application to propositional logic

Cited in

(5)

• Semantic distance between specifications
• The properties of metric Boolean algebras and their application to approximate reasoning in \(F(S)\)
• Axiomatizing distance logics
• scientific article; zbMATH DE number 1557418 (Why is no real title available?)
• A propositional metric logic with fixed finite ranges

This page was built for publication: A propositional logic with binary metric operators

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