Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

The problem of the 'Unity of the Proposition' is the problem of explaining the difference between a content-expressing declarative sentence and a 'mere list' of referents. The prevailing view is that ...