Inhalt
[ 201WIMSMVLU20 ] UE Manyvalued Logic





Workload 
Education level 
Study areas 
Responsible person 
Hours per week 
Coordinating university 
1,5 ECTS 
B3  Bachelor's programme 3. year 
Mathematics 
Thomas Vetterlein 
1 hpw 
Johannes Kepler University Linz 



Detailed information 
Original study plan 
Bachelor's programme Technical Mathematics 2023W 
Objectives 
Support to achieve the goals of the corresponding course

Subject 
Basics of lattice theory, modeltheoretic definition of propositional logics, Hilbertstyle proof systems, soundness and completeness, classical propositional logic, boolean algebras, tnorm based manyvalued logics, residuated lattices, basic Logic, BLalgebras, Lukasiewicz logic, MValgebras.

Criteria for evaluation 
Presentation of homework

Methods 
Weekly exercise sheets as homework, discussion of the solutions.

Language 
English and French 
Changing subject? 
No 
Earlier variants 
They also cover the requirements of the curriculum (from  to) TM1WMUEFUZL: UE Fuzzy logic (1998W2020S)




Onsite course 
Maximum number of participants 
25 
Assignment procedure 
Direct assignment 


