Neke primene formalne metode u teoriji skupova, teoriji modela, verovatnosnim logikama i fazi logikama

eBibliothek Repositorium

 
 

Neke primene formalne metode u teoriji skupova, teoriji modela, verovatnosnim logikama i fazi logikama

Zur Kurzanzeige

dc.contributor.advisor Jovanović, Aleksandar
dc.contributor.author Perović, Aleksandar en_US
dc.date.accessioned 2009-12-03T12:02:52Z
dc.date.available 2009-12-03T12:02:52Z
dc.identifier.uri http://hdl.handle.net/123456789/100
dc.description.abstract The interpretation method is a characteristic common for all results from this thesis. The thesis consists of five chapters and two appendices. A brief overview of the contents of the thesis and the obtained results are presented in Chapter 1. Logical background and the well-known notions the basic notions, definitions and properties from forcing are given in the appendices of the thesis. An elementary proof of equivalence between Cohen forcing and forcing with propositional Lindenbaum algebras is presented in Chapter 2. Dense embedding and the interpretation method are used in that proof. A complete axiomatization of the notion of qualitative probability is presented in Chapter 3. Probabilistic logic LPP_2 LPP_2^FR(n) and LPP^S are extended with the qualitative probability operator π. Several formal techniques as infinite rules, elimination of quantifiers and interpretation method (implicitly), are used to prove the extended completeness theorem and decidability for these logics. In Chapter 4 of the thesis a complete axiomatization of the logic with polynomial weight formulas is presented and the extended completeness theorem is proved. Applications of the interpretation method are given. By using that method the compactness theorem for the non-archimedean valued probabilistic logics is proved in Chapter 5. en
dc.description.provenance Made available in DSpace on 2009-12-03T12:02:52Z (GMT). No. of bitstreams: 1 phdAleksandarPerovic.pdf: 700022 bytes, checksum: 1ba0026a28d208a701a066bd61b7dbce (MD5) en
dc.publisher Belgrade en_US
dc.title Neke primene formalne metode u teoriji skupova, teoriji modela, verovatnosnim logikama i fazi logikama sr
dc.title.alternative Some Applications of the Formal Method in Set Theory, Model Theory, Probability Logics and Fuzzy Logics en
mf.subject.keywords Lindenbaum algebra, Cohen forcing, dense embedding, completeness, qualitative probability, polynomial weight formula, interpretation method, elimination of quantifiers, compactness
mf.contributor.committee Mijajlović, Žarko; Rašković, Miodrag; Ognjanović, Zoran

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
phdAleksandarPerovic.pdf 700.0Kb PDF Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige