Title
Logike sa metričkim operatorima
Creator
Stojanović, Nenad, 1987-
Copyright date
2018
Object Links
Select license
Autorstvo-Nekomercijalno-Bez prerade 3.0 Srbija (CC BY-NC-ND 3.0)
License description
Dozvoljavate samo preuzimanje i distribuciju dela, ako/dok se pravilno naznačava ime autora, bez ikakvih promena dela i bez prava komercijalnog korišćenja dela. Ova licenca je najstroža CC licenca. Osnovni opis Licence: http://creativecommons.org/licenses/by-nc-nd/3.0/rs/deed.sr_LATN. Sadržaj ugovora u celini: http://creativecommons.org/licenses/by-nc-nd/3.0/rs/legalcode.sr-Latn
Language
Serbian
Cobiss-ID
Inventory ID
D=3338
Theses Type
Doktorska disertacija
description
datum odbrane: 21.04.2019.
Other responsibilities
mentor
Ikodinović, Nebojša
član komisije
Rašković, Miodrag
član komisije
Đorđević, Radosav
član komisije
Ilić Stepić, Angelina
član komisije
Marinković, Silvana
član komisije
Boričić, Marija
Academic Expertise
Prirodno-matematičke nauke
Academic Title
-
University
Univerzitet u Kragujevcu
Faculty
Prirodno-matematički fakultet
Group
Katedra Instituta za matematiku i informatiku
Abstract (en)
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.
Authors Key words
metric operator, soundess, completeness
Coverage
100 listova
“Data exchange” service offers individual users metadata transfer in several different formats. Citation formats are offered for transfers in texts as for the transfer into internet pages. Citation formats include permanent links that guarantee access to cited sources. For use are commonly structured metadata schemes : Dublin Core xml and ETUB-MS xml, local adaptation of international ETD-MS scheme intended for use in academic documents.