ACCL-2021: Advanced Course in Classical Logic. Lecture 1. Evgeny Zolin (24.02.2021)

Classical Propositional Logic: Syntax, semantics, Cimpleteness, Compactness, Interpolation theorems (Craig, Lyndon, Uniform).

Interesting facts: axiomatizations by a single axiom, over just implication, implication and negation, and other sets of connectives.

The lecturer is apparently not in good condition, sorry. The video will probably re-recorded later.

• Category

  Music