Files in this item: 1

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.

COPYRIGHT STATEMENT

Educational and scientific institutions are encouraged to reproduce and distribute these materials for educational use free of charge as long as credit and notification are provided.
For any other purpose except educational or scientific, such as commercial etc, use of these materials is prohibited without prior written permission.
Readers may download papers for personal or educational or scientific use only, and not for any kind of commercial use.
Illustrations can be used only as a part of the papers and by no means can be reused for any purpose without the permission of the owner of the copyrights.