Lectures 2023, winter semester:
October 5
Basic notions. System of cuts of a fuzzy set, theorem on representation of fuzzy sets by cuts, conversion between vertical and horizontal representation.
Record of a former lecture,
mp4,
pdf
October 12
Fuzzy inclusion.
Fuzzy negations.
Representation theorem for fuzzy negations.
Record of a former lecture,
mp4,
pdf
October 19
Fuzzy complements.
Fuzzy conjunctions (triangular norms),
Triangular Norms and Conorms. Scholarpedia, p.10029.
Representation theorem for strict conjunctions.
Record of a former lecture,
mp4,
pdf
October 26
Representation theorem for nilpotent conjunctions.
Fuzzy disjunctions (triangular conorms), representation theorems. Fuzzy algebras and their properties.
Examples of fuzzy intersections and unions.
Properties of fuzzy propositional and set operations.
Record of a former lecture,
mp4
November 2
Fuzzy implications and biimplications.
November 9
Syntax of classical logic: formulas, axioms, deduction, theorems.
Record of this lecture,
mp4,
pdf
November 16
Deduction theorem in classical logic:
Record of a former lecture,
mp4,
pdf
Semantics of classical logic: evaluation, tautologies. Interplay of syntax and semantics of classical logic: soundness, completeness.
Basic logic: axioms, theorems, semantics.
Record of this lecture,
mp4,
pdf
Record of a former lecture,
mp4,
pdf
November 23
Deduction in basic logic.
Record of this lecture,
mp4,
pdf
November 30
Completeness of basic logic.
Other types of fuzzy logics: Gödel logic.
Record of this lecture,
mp4,
pdf
December 7
Other types of fuzzy logics: product logic (its alternative axiomatization, formulas which are tautologies of product logic but not of Gödel or basic logic), Łukasiewicz logic and its alternative axiomatization.
Rational Pavelka logic.
Record of this lecture,
mp4,
pdf
December 14
Compactness of logics.
Testing tautologies in Gödel and Łukasiewicz logic.
Record of this lecture,
mp4,
pdf
December 21
No lecture, only individual consultations (possibly online).
January 11
Fuzzy predicate logics.