Usuzování s nekonzistentními informacemi
Název práce v češtině: | Usuzování s nekonzistentními informacemi |
---|---|
Název v anglickém jazyce: | Reasoning with Inconsistent Information |
Klíčová slova: | abstraktní algebraická logika|Belnapova-Dunnova logika|parakonzistentní logika|superbelnapovské logiky |
Klíčová slova anglicky: | abstract algebraic logic|Belnap-Dunn logic|paraconsistent logic|super-Belnap logics |
Akademický rok vypsání: | 2013/2014 |
Typ práce: | disertační práce |
Jazyk práce: | angličtina |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | Mgr. Marta Bílková, Ph.D. |
Řešitel: | skrytý![]() |
Datum přihlášení: | 31.01.2014 |
Datum zadání: | 31.01.2014 |
Schválení administrátorem: | zatím neschvalováno |
Datum potvrzení stud. oddělením: | 04.03.2014 |
Datum a čas obhajoby: | 27.06.2018 11:00 |
Datum odevzdání elektronické podoby: | 22.05.2018 |
Datum proběhlé obhajoby: | 27.06.2018 |
Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
Oponenti: | Carles Noguera, Ph.D. |
prof. Ramon Jansana | |