Partial monotonicity and a new version of the Ramsey test John PaisPeter Jackson OriginalPaper Pages: 21 - 47
Modal companions of intermediate propositional logics Alexander ChagrovMichael Zakharyashchev OriginalPaper Pages: 49 - 82
The converse principal type-scheme theorem in lambda calculus Sachio Hirokawa OriginalPaper Pages: 83 - 95
Lambek calculus with restricted contraction and expansion Andreja Prijatelj OriginalPaper Pages: 125 - 143
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS) Announcement Pages: 157 - 164