Algebraic semantics and duality

Heyting algebras, algebraic semantics and completeness of intuitionistic propositional logic.

Presentation Topic 2.: Duality between algebraic and Kripke semantics of intuitionistic logic (see ESSLLI Lecture notes).