Frame Based Formulas for Intermediate Logics Nick Bezhanishvili OriginalPaper 24 October 2008 Pages: 139 - 159
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules Sharon ShohamNissim Francez OriginalPaper 24 October 2008 Pages: 161 - 188
Ockham Algebras with Balanced Double Pseudocomplementation Jie Fang OriginalPaper 25 October 2008 Pages: 189 - 209
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics Ruy J. G. B. de Queiroz OriginalPaper 24 October 2008 Pages: 211 - 247
Ontological Proofs of Existence and Non-Existence Petr Hájek OriginalPaper 29 October 2008 Pages: 257 - 262
Hyperformulas and Solid Algebraic Systems Klaus DeneckeDara Phusanga OriginalPaper 31 October 2008 Pages: 263 - 286