 |
| Detailed information |
| Original study plan |
Bachelor's programme Technical Mathematics 2023W |
| Objectives |
Introduction to many-valued logics, their syntax, their semantics, and their corresponding algebraic structures, with a particular emphasis on mathematical fuzzy logic.
|
| Subject |
Basics of lattice theory, model-theoretic definition of propositional logics, Hilbert-style proof systems, soundness and completeness, classical propositional logic, boolean algebras, t-norm based many-valued logics, residuated lattices, basic Logic, BL-algebras, Lukasiewicz logic, MV-algebras.
|
| Criteria for evaluation |
written exam
|
| Methods |
Blackboard presentation
|
| Study material |
P. Cintula, P. Hajek, C. Noguera (Eds.), Handbook of Mathematical Fuzzy Logic, College Publication, London 2011.
|
| Changing subject? |
No |
| Corresponding lecture |
(*)TM1WMVOFUZL: VL Fuzzy Logic (3 ECTS)
|
| Earlier variants |
They also cover the requirements of the curriculum (from - to)
404LFMTMVLV20: VL Manyvalued Logic (2020W-2023S)
|
|
