System of cuts of a fuzzy set, theorem on representation of fuzzy sets by cuts, conversion between vertical and horizontal representation.
Triangular Norms and Conorms. Scholarpedia, p.10029.
Properties of fuzzy propositional and set operations.
Fuzzy implications and biimplications.
Fuzzy relations, their composition, fuzzy equivalence (similarity), hereditary (consistent) properties.
The following curricula are only preliminary and will be extended according to the agreement with students:
Projection of a fuzzy relation.
Cylindric extension (cartesian product) of fuzzy sets.
Exercises: Fuzzy relations, their composition, fuzzy equivalence (similarity)
Summary of syntax and semantics of classical logic, deduction, consistence and completeness.
Syntax and semantics of basic (fuzzy) logic, deduction.
Basic logic, deduction, consistence and completeness.
Extensions of basic logic: Gödel, Lukasiewicz, and product logic.