Nonclassical models of reasoning - ALG519025

• Anglický název: Nonclassical models of reasoning
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: oba
• Body: 0
• E-Kredity: 6
• Rozsah, examinace: 2/1, Zk [HT]
• Počet míst: zimní:neurčen / neurčen (neurčen); letní:neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina, čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; předmět lze zapsat v ZS i LS
• Garant: Mgr. Marta Bílková, Ph.D.; RNDr. Zuzana Haniková, Ph.D.
• Vyučující: RNDr. Zuzana Haniková, Ph.D.

Anotace

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)

The course is a survey of some well-known families of nonclassical logics, studied using mathematical methods.

Literatura

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Vol. 151 Studies in Logics and the Foundations of Mathematics, Elsevier,2007.
Petr Hájek: Metamathematics of Fuzzy Logic. Kluwer, 1998.
P. Cintula, P. Hájek, C. Noguera (eds.): Handbook of Mathematical Fuzzy Logic. vol. 37,38 Mathematical Logic and Foundations, College Publications, 2011.
Hilary A. Priestley, Brian A. Davey: Introduction to Lattices and Order. Cambridge University Press, 1990, 2002.
Alexander Chagrov and Michael Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.
Patrick Blackburn, Maarten de Rijke, Yde Venema: Modal Logic. Cambridge University Press, 2001.
Christos H. Papadimitriou: Computational complexity. Addison-Wesley, 1994.

Sylabus

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)

1. Intuitionism, intuitionistic logic. Calculi, relational and algebraic semantics. The lattice of superintuitionistic logics. Decision procedures and complexity.
2. Modal logics. Modal companions. Standard translation into classical logic. Complexity.
3. Lambek calculus, Full Lambek calculus, the lattice of substructural logics. Residuated lattices. Fuzzy logics.
4. Arithmetic and set theory in a nonclassical setting. Some applications of nonclassical logics.