Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...

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

Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set ...