Inhalt

[ 404LFMTMVLV20 ] VL Manyvalued Logic

Versionsauswahl
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 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)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment