The main results of the paper are the following: For each monadic propositional formula φ which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal ...

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 ...