Logique II [LPHIB112]

Learning outcomes

Advanced methods in classical and non-classical propositional logic

Objectives

To introduce to different facets of classical and non-classical propositional logic and to show the relations between them.

Content

Logic and formal langages Soundness, decidability, completeness of formal languages Logic and structures: introduction to the language of category theory

Table of contents

given during the lecture

Exercises description

given during the lecture