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

3 Views
Nhạc Chill
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.

Show more

Up next



0 Comments Sort By

No comments found

Facebook Comments