Skip navigation

Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.12128/21987
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorPołacik, Tomasz-
dc.contributor.authorWitczak, Tomasz-
dc.date.accessioned2021-11-26T11:30:23Z-
dc.date.available2021-11-26T11:30:23Z-
dc.date.issued2020-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/21987-
dc.description.abstractWe may speak about syntax. From this point of view any logic can be considered as as the set of axioms and rules. Here we are interested in formal proofs and deduction systems. Second, we can also think about semantics, namely, about some models in which it is possible to de ne the notions of truth and falsity. As for the logical calculi, we are working with propositional logics. Thus, we are not so much interested in quanti ers. Our logics are non-classical. Of course, there are many kinds of non-classical logic and many reasons for which certain system can be considered as nonclassical. In our case, there are two main ways which are notoriously combined. On the one hand, we are interested in intuitionistic, superintuitionistic and subintuitionistic systems. This means that we narrow down the set of axioms and rules of classical logic. On the other hand, we use modal operators to de ne and analyse the ideas of necessity and possibility. As a result, we often obtain classical and intuitionistic modal logics. Our semantic models are mostly neighborhood, topological and relational. These three approaches are also combined. For this reason, we may speak about bi-relational and relational-neighborhood structures. Moreover, we go beyond the standard notion of topology in order to study its various generalizations. Finally, our aim is to investigate several non-classical calculi using all the tools mentioned above. We are interested in the issues of completeness (axiomatization), nite model property, bisimulation and decidability. Moreover, we analyse some purely topological properties of the structures in question. The philosophical aspect is also important.pl_PL
dc.language.isoplpl_PL
dc.publisherKatowice : Uniwersytet Śląskipl_PL
dc.subjectlogika modalnapl_PL
dc.subjectprzestrzenie topologicznepl_PL
dc.subjectsemantyki światów możliwychpl_PL
dc.titleModele otoczeniowe i topologiczne dla klasycznych i intuicjonistycznych logik modalnychpl_PL
dc.typeinfo:eu-repo/semantics/doctoralThesispl_PL
Appears in Collections:Rozprawy doktorskie (WNŚiT)

Files in This Item:
File Description SizeFormat 
Witczak_Modele_otoczeniowe_i_topologiczne.pdf1,19 MBAdobe PDFView/Open
Show simple item record


Items in RE-BUŚ are protected by copyright, with all rights reserved, unless otherwise indicated.