Advanced Applied Logics, 5 op

Ydinsisältö

• Introduction to mathematical fuzzy logic; real life situations where neither black-or-white logic nor statistical methods are applicable.
• Monoidal Logic as a basis of various non-standard logics: linear logic, intuitionistic logic, basic fuzzy logic, Lukasiewicz logic.

Täydentävä tietämys

• 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.