Arild Waaler will present his …

Arild Waaler will present his article Connections in Nonclassical Logics at the Master Seminar in Logic (INF5170) starting on Monday February 21st 17:15 (not 28th as previously announced). All INF3170 students are welcome!

The lecture series will be held in Buerommet (Ifi, 3rd floor) and will continue every Monday for 6-8 weeks. Matrix and sequent calculus proof procedures are presented and compared for classical, intuitionistic and modal logics.

Waaler will start from scratch such that it is possible for INF3170 students to follow the lectures. The lectures are held in Norwegian.