
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:title xml:lang="srp">Logike sa metričkim operatorima</dc:title>
  <dc:creator>Stojanović,  Nenad, 1987-</dc:creator>
  <dc:description xml:lang="eng">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  &apos;distance between  
formulas  a  and  (3  is  less  than  or  equal  to  s&apos;.   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.</dc:description>
  <dc:description xml:lang="srp"></dc:description>
  <dc:contributor>Ikodinović,  Nebojša</dc:contributor>
  <dc:contributor>Rašković,  Miodrag</dc:contributor>
  <dc:contributor>Đorđević,  Radosav</dc:contributor>
  <dc:contributor>Ilić Stepić,  Angelina</dc:contributor>
  <dc:contributor>Marinković,  Silvana</dc:contributor>
  <dc:contributor>Boričić,  Marija</dc:contributor>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:date>2018</dc:date>
  <dc:type xml:lang="eng">baccalaureate Dissertation</dc:type>
  <dc:format>PDF/A</dc:format>
  <dc:format>1695458 bytes</dc:format>
  <dc:identifier>o:1242</dc:identifier>
  <dc:identifier>ID=1024706792</dc:identifier>
  <dc:identifier>thesis:7326</dc:identifier>
  <dc:identifier>cobiss:1024706792</dc:identifier>
  <dc:identifier>https://phaidrakg.kg.ac.rs/o:1242</dc:identifier>
  <dc:source>Thesis:7326</dc:source>
  <dc:source>Cobiss:1024706792</dc:source>
  <dc:language>srp</dc:language>
  <dc:coverage xml:lang="srp">100 listova, ilustr.</dc:coverage>
  <dc:rights>CC BY-NC-ND 2.0 AT</dc:rights>
  <dc:rights>http://creativecommons.org/licenses/by-nc-nd/2.0/at/</dc:rights>
</oai_dc:dc>