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

Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept of p-morphisms between Kripke sheaves is introduced. It is shown that if there exists a ...

The Master in Logic at the University of Gothenburg offers a variety of courses with a core focus on Mathematical Logic, providing a solid foundation for the study of Logic. Additional courses in ...