Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке: https://scidar.kg.ac.rs/handle/123456789/17451
Назив: A propositional logic with binary metric operators
Аутори: Stojanović, Nenad
Ikodinovic, Nebojsa
Djordjevic R.
Часопис: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications
Датум издавања: 2018
Сажетак: 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_{leqslant s} $ and $D_{geqslant s}$, $sinmathds{Q}_0^+$. Our language all-ows making formulas such as $D_{leqslant s}(alpha,beta)$ with the intended meaning `distance between formulas $alpha$ and $beta$ is less than or equal to $s$'. The semantics of the proposed language consists of possible worlds with a distance function defined between sets of worlds. Our main concern is a complete axiomatization that is sound and strongly complete with respect to the given semantics.
URI: https://scidar.kg.ac.rs/handle/123456789/17451
Тип: article
ISSN: 2055-3706
Налази се у колекцијама:Faculty of Science, Kragujevac

Број прегледа

80

Број преузимања

19

Датотеке у овој ставци:
Датотека Опис ВеличинаФормат 
NStojanovicJAL17-52.pdf134.53 kBAdobe PDFСличица
Погледајте


Ставке на SCIDAR-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.