Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 385)
Detail práce
   Přihlásit přes CAS
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ý - zadáno a potvrzeno stud. odd.
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
 
 
 
Univerzita Karlova | Informační systém UK