Předmět Výpočetní složitost substrukturálních logik (NLTM039)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NLTM039 - Výpočetní složitost substrukturálních logik, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
Rozhodovací problémy v logice, související rozhodovací problémy v univerzální algebře a teorii důkazů. Další související vlastnosti logik. Některá specifika neklasických logik. Fragmenty logik a algebraických teorií. Algebraická sémantika substrukturálních logik. Konkrétně budou zkoumány především: klasická logika; intuicionistická logika; Flew (Full Lambek calculus with Exchange and Weakening); FL (Full Lambek calculus); Łukasiewiczova logika.
Literatura
N.Galatos, P. Jipsen, T. Kowalski, H. Ono: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, 2007 O. Kharlampovich, M. Sapir: Algorithmic problems in varieties. A. Chagrov, M. Zakharyaschev: Modal Logic. Oxford Logic Guides. Vol. 35, Clarendon Press, 1997.P. Cintula, P. Hájek, C. Noguera (ed.): Handbook of Mathematical Fuzzy Logic. College Publications, 2011.R. Horčík, K. Terui: Disjunction Property and Complexity of Substructural Logics. Theoretical Computer Science, 412(31):3992-4006, 2011.
Garant
RNDr. Zuzana Haniková, Ph.D.