Repository | Book | Chapter
(2016) Modern logic 1850-1950, East and West, Basel, Birkhäuser.
In this paper 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. However, in a few special cases, we can extend the normalization process to obtain new consistency proofs.
Publication details
DOI: 10.1007/978-3-319-24756-4_12
Full citation:
Seldin, J. P. (2016)., On normalizing disjunctive intermediate logics, in F. F. Abeles & M. E. Fuller (eds.), Modern logic 1850-1950, East and West, Basel, Birkhäuser, pp. 237-248.
This document is unfortunately not available for download at the moment.