![](https://studienhandbuch.jku.at/pics/pixel.gif) |
Detailed information |
Original study plan |
Bachelor's programme Technical Mathematics 2024W |
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 and French |
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)
|
|