Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-018-9484-z
Abstract: Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics… read more here.
Keywords: semantics proof; logic; phase semantics; semantics ... See more keywords