Some Probability and Topological Logics

eBiblioteka

 
 

Some Probability and Topological Logics

Show simple item record

dc.contributor.advisor Đordjević, Radosav
dc.contributor.author Ikodinović, Nebojša en_US
dc.date.accessioned 2009-12-03T12:14:32Z
dc.date.available 2009-12-03T12:14:32Z
dc.identifier.uri http://hdl.handle.net/123456789/194
dc.description.abstract The thesis is devoted to logics which are applicable in different areas of mathematics (such as topology and probability) and computer sciences (reasoning with uncertainty). Namely, some extensions of the classical logic, which are either model-theoretical or non-classical, are studied. The thesis consists of three chapters: an introductory chapter and two main parts (Chapter 2 and Chapter 3). In the introductory chapter of the thesis the well-known notions and properties from extensions of the first order logic and nonclassical logics are presented. Chapter 2 of the thesis is related to logics for topological structures, particularly, topological class spaces (topologies on proper classes). One infinite logic with new quantifiers added is considered as the corresponding logic. Methods of constructing models, which can be useful for many others similar logics, are used to prove the completeness theorem. A number of probabilistic logic suitable for reasoning with uncertainty are investigated in Chapter 3. Especially, some ways of incorporation into the realm of logic conditional probability understood in different ways (in the sense of Kolmogorov or De Finnety) are given. For all these logics the corresponding axiomatizations are given and the completeness for each of them is proved. The decidability for all these logics is discussed too. en
dc.description.provenance Made available in DSpace on 2009-12-03T12:14:32Z (GMT). No. of bitstreams: 1 phdNebojsaIkodinovic.pdf: 3008181 bytes, checksum: 99ba8c1d25c86bd3092e35a7049a68b6 (MD5) en
dc.publisher Kragujevac en_US
dc.title Some Probability and Topological Logics en_US
dc.title.alternative Neke verovatnosne i topološke logike sr
mf.subject.keywords infinitary logics, completeness, topological class, conditional probability
mf.contributor.committee Mijajlović, Žarko; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran

Files in this item

Files Size Format View
phdNebojsaIkodinovic.pdf 3.008Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record