[ 201WIMSMVLU20 ] UE Manyvalued Logic

(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B3 - Bachelor's programme 3. year Mathematics Erich Klement 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2022W
Objectives Support to achieve the goals of the corresponding course
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 Presentation of homework
Methods Weekly exercise sheets as homework, discussion of the solutions.
Language English and French
Changing subject? No
Corresponding lecture (*)TM1WMUEFUZL: UE Fuzzy Logic (1,5 ECTS)
On-site course
Maximum number of participants 25
Assignment procedure Direct assignment