Advanced Applied Logics, 5 op

Ydinsisältö

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

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.
• Definitions of residuated lattices, Girard monoids, Heyting algebras, BL-algebras, Wajsberg algebras and MV-algebras and some of their basic properties.