Hledat
Zobrazují se záznamy 1-1 z 1
Undecidability of Some Substructural Logics
Nerozhodnutelnost některých substrukturálních logik
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2015
Datum obhajoby: 10. 06. 2015
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách. Ve skutečnosti existují dvě přirozené varianty toho problému. Mějme dánu logiku, pak ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem. Fix a logic, we can study its set of theorems or ...