ACCL-2021: Advanced Course in Classical Logic. Lecture 1. Evgeny Zolin (24.02.2021)
15 Views
Nhạc Chill
10 Mar 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
Show more
Facebook Comments
No comments found