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

This is a preview. Log in through your library . Abstract We construct an extension $\scr{L}^{P}$ of the standard language $\scr{L}$ of classical propositional logic by adjoining to the alphabet of ...

The philosophy of language and propositional attitudes investigates the complex interplay between linguistic structures and the mental states that underpin communication, thought, belief and behaviour ...