Приказ основних података о дисертацији
Logike sa metričkim operatorima
dc.contributor.advisor | Ikodinović, Nebojša | |
dc.contributor.other | Rašković, Miodrag | |
dc.contributor.other | Đorđević, Radosav | |
dc.contributor.other | Ilić Stepić, Angelina | |
dc.contributor.other | Marinković, Silvana | |
dc.creator | Stojanović, Nenad | |
dc.date.accessioned | 2020-10-24T12:30:56Z | |
dc.date.available | 2020-10-24T12:30:56Z | |
dc.date.issued | 2019-04-21 | |
dc.identifier.uri | http://eteze.kg.ac.rs/application/showtheses?thesesId=7326 | |
dc.identifier.uri | https://fedorakg.kg.ac.rs/fedora/get/o:1242/bdef:Content/download | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/17533 | |
dc.description | 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. | en |
dc.format | application/pdf | |
dc.language | sr | |
dc.publisher | Универзитет у Крагујевцу, Природно-математички факултет | sr |
dc.relation | info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174026/RS// | |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.source | Универзитет у Крагујевцу | sr |
dc.subject | metric operator | sr |
dc.subject | soundess | sr |
dc.subject | completeness | sr |
dc.title | Logike sa metričkim operatorima | sr |
dc.type | doctoralThesis | en |
dc.rights.license | BY-NC-ND | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/66137/Disertacija.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/66138/Izvestaj_Nenad_Stojanovic_PMF.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_17533 |