 |
| Detailed information |
| Original study plan |
Master's programme Computer Mathematics 2020W |
| 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
|
| Language |
English |
| 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)
|
|
