Faculty of Information Technology and Communication Sciences
Language of instruction
Technology and Natural Sciences
Mode of study
Advanced Applied Logics, 5 cr
Language of instruction: English
Undersanding the role of non classical logics in real life applications. The inreplay of logical systems and various algebraic structures via Lindembaum-Tarski theorem. Ability to prove the main algebraic results of the course.
An algebraic introduction to mathematical fuzzy logic; real life situations where neither black-or-white logic nor statistical methods are applicable.
Construction of the Lukasiewicz-Pavelka fuzzy logic from 6 algebraic axioms.
Graded similarity as a base of fuzzy reasoning. Fuzzy IF-THEN rules. Constructing real world applications by means of multiple valued logic. Para consistent logic in solving decision making problems.
Residuated lattices, Girard monoids, Heyting algebras, BL-algebras, Wajsberg algebras and MV-algebras. Semantics, syntax and completeness of various non-standard logics.
This course will be lectured next time during the academic year 2021-22.