o:1242
Logike sa metričkim operatorima
sr
The aim of this paper is to combine distance functions and Boolean proposi tions 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 t he form D≤ s and D≥ s , seQt, Our language all ows making formulas such as D≤ s(a , (3 ) with the intended meaning 'distance between
formulas a and (3 is less than or equal to s'. The semantics of the proposed
language consists of possible worlds with a distanc e 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.
100 listova, ilustr.
ID=1024706792
91552101
7326
91552100
1024706792
2020-02-28T13:48:19.053Z
45
no
46
mentor
Nenad, 1987-
Stojanović
2018
63
mentor
Nebojša
Ikodinović
2018
63
član komisije
Miodrag
Rašković
2018
63
član komisije
Radosav
Đorđević
2018
63
član komisije
Angelina
Ilić Stepić
2018
63
član komisije
Silvana
Marinković
2018
63
član komisije
Marija
Boričić
2018
PDF/A
1695458
http://phaidrabg.bg.ac.rs/o:1242
no
yes
4
2020-02-28T13:48:19.320Z
70
metric operator, soundess, completeness
1738
34A08
34A0804
2018