Date/Time
Date(s) - 03/09/2013
11:30 am - 12:30 pm
Location
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.
