Inhalt

[ 201WIMSMVLV23 ] VL Manyvalued Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Master's programme Artificial Intelligence 2024W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Mathematics Thomas Vetterlein 2 hpw Johannes Kepler University Linz
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)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment