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.
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.
Wajsberg algebras (MV-algebras), residuated lattices, BL-algebras.
Fuzzy similarity and its applications.
14.10.07 Seminar by Magdalena Rencova: Probability on IF-sets: an elementary approach