[TU Dresden]

Fuzzy Logic

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Felix Distel

Course Description

In this course we look at fuzzy logic, where assertions can be true to a degree in the interval [0,1].
A whole family of logics based on a binary relation (t-norm) will be defined, and different properties of the most relevant members of this family will be shown. A reasoning calculus and completeness theorems will also be presented.
Most of the course will focus on propositional logic, but fuzzy first order logic will also be introduced.

Prerequisites: Basic knowledge of propositional and first order logic.


The lecture takes place weekly in room E05: Tuesdays, 7:30-9:00

Credits / Examinations

Computational Logic students can earn 3 SWS (2/1/0) for the modules MV, TCSL, and PI by attending this lecture. In order to get the credits, students must pass an oral examination at the end of the semester.


A fortnightly exercise session will be held on Fridays, 09:20-10:50 in E05 (starting from October 19).

All students are encouraged to present their solutions to the exercises, as they are useful for a better understanding of the lecture material.

Exercise sheets will be available online approx. one week before the session.


Lecture Slides are available for download as well as a List of BL axioms and provabilities.


The lecture is based mainly (but not exclusively) on the book Metamathematics of Fuzzy Logic by Petr Hájek. All the material necessary for successfully aproving the course will be presented during the lectures.

Lecture notes from a previous semester are available. Please note that the course contents may differ slightly between semesters. The notes do not replace the material presented during the course.
Felix Distel