Syntax of classical logic: formulas, axioms, deduction, theorems.
Deduction theorem in classical logic.
Semantics of classical logic: evaluation, tautologies. Interplay of syntax and semantics of classical logic: soundness, completeness.
Basic logic: axioms, theorems, semantics.
Deduction in basic logic.
Completeness of basic logic.
Other types of fuzzy logics: Gödel logic, 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.
Compactness of logics.
Testing tautologies in Gödel and Łukasiewicz logic.