SICSA DVF: Prof. Jonatha Seldin – On Normalizing Disjunctive Intermediate Logics

Map Unavailable

Date(s) - 03/09/2013
11:30 am - 12:30 pm

Parliament Hall, St Andrews

In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalization procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalization fail, including the separation property and the subformula property.

This entry was posted in .