Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/32
Title: | A propositional logic with binary metric operators |
Authors: | Stojanović, Nenad Ikodinović, Nebojša Djordjević, Radosav |
Affiliations: | Algebra and Mathematical Logic |
Keywords: | Completeness;Metric operators;Soundness |
Issue Date: | 1-Oct-2018 |
Journal: | Journal of Applied Logics |
Abstract: | The aim of this paper is to combine distance functions and Boolean propositions by developing a formalism suitable for speaking about distances between Boolean formulas. We introduce and investigate a formal language that is an extension of classical propositional language obtained by adding new binary (modal-like) operators of the form D≤s and D≥s, s ∈ Q+0. Our language allows making formulas suc... |
URI: | https://research.matf.bg.ac.rs/handle/123456789/32 |
ISSN: | 26319810 |
Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.