Nonclassical models of reasoning - ALG519025
|
|
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)
|
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)
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. |
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (20.02.2024)
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. |