Usuzování s nekonzistentními informacemi
Thesis title in Czech: | Usuzování s nekonzistentními informacemi |
---|---|
Thesis title in English: | Reasoning with Inconsistent Information |
Key words: | abstraktní algebraická logika|Belnapova-Dunnova logika|parakonzistentní logika|superbelnapovské logiky |
English key words: | abstract algebraic logic|Belnap-Dunn logic|paraconsistent logic|super-Belnap logics |
Academic year of topic announcement: | 2013/2014 |
Thesis type: | dissertation |
Thesis language: | angličtina |
Department: | Department of Logic (21-KLOG) |
Supervisor: | Mgr. Marta Bílková, Ph.D. |
Author: | hidden![]() |
Date of registration: | 31.01.2014 |
Date of assignment: | 31.01.2014 |
Administrator's approval: | not processed yet |
Confirmed by Study dept. on: | 04.03.2014 |
Date and time of defence: | 27.06.2018 11:00 |
Date of electronic submission: | 22.05.2018 |
Date of proceeded defence: | 27.06.2018 |
Submitted/finalized: | committed by student and finalized |
Opponents: | Carles Noguera, Ph.D. |
prof. Ramon Jansana | |