This is a preview. Log in through your library . Abstract The main concern of this paper is the design of a noetherian and confluent normalization for LK 2 (that is, classical second order predicate ...

This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of Laurent [15] is complete. This is done by adding a topological ...