Application of Nonclassical Logic

Garant předmětu:

Lecturer:

Tutor:

Supervisor:

Department of Mathematics

Synopsis:

Non-classical logics were originally motivated as tools to overcome paradoxes of the classical logic. Nowadays these logics have many real-life applications. During the lecture several non-classical logics will be introduced, in particular the modal, dynamic, description, and many-valued logics. The attention will be paid on real-life applications in computer science, artificial intelligence, game theory, and control theory.

Requirements:

Basic course in Mathematical Logic (in the extent of the course 01VYML held at the FNSPE CTU in Prague).

Syllabus of lectures:

1. Classical propositional and predicate logic, 2. Gentzen calculi, 3. Game theory and logic, 4. Modal logics, 5. Description logics, 6. Dynamic logics, 7. Intuitionistic logic and philosophy of mathematics, 8. Many-valued logics

Syllabus of tutorials:

Study Objective:

The goal of the lecture is to demonstrate the basics of the particular systems of non-classical logics and some of their real-life applications.

Study materials:

Key references

[4] D. Harel, D. Kozen, J. Tiuryn: Dynamic logic, The MIT press, 2000,

London.

[5] P. Hájek: Metamathematics of fuzzy logic, Kluwer, 1998, Dordrecht.

Recommended references:

[6] Stanford encyclopedia of philosophy, http://plato.stanford.edu (relevantní hesla)

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: