Coproducts in the categories of Kleene and three-valued Łukasiewicz algebras Roberto Cignoli OriginalPaper Pages: 237 - 245
Matrix representations for structural strengthenings of a propositional logic Piotr Wojtylak OriginalPaper Pages: 263 - 266
A constructive proof of Craig's interpolation lemma for m-valued logic Anita Waselewska OriginalPaper Pages: 267 - 275
First-order indefinite and uniform neighbourhood semantics Arnold Vander Nat OriginalPaper Pages: 277 - 296
A modal calculus analogous to K4W, based on intuitionistic propositional logic, Iℴ Aldo Ursini OriginalPaper Pages: 297 - 311