Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach Hiroakira Ono OriginalPaper Pages: 19 - 33
Interpolation and amalgamation properties in varieties of equivalential algebras Małgorzata Porębska OriginalPaper Pages: 35 - 38
A cut-free gentzen-type system for the logic of the weak law of excluded middle Branislav R. Boričić OriginalPaper Pages: 39 - 53
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes Pierluigi Minari OriginalPaper Pages: 55 - 68
On maximal intermediate logics with the disjunction property Larisa L. Maksimova OriginalPaper Pages: 69 - 75
On superintuitionistic logics as fragments of proof logic extensions A. V. KuznetsovA. Yu. Muravitsky OriginalPaper Pages: 77 - 99
Logics of some kripke frames connected with Medvedev notion of informational types V. B. ShehtmanD. P. Skvortsov OriginalPaper Pages: 101 - 118
Applications of weak Kripke semantics to intermediate consequences Wolfgang Rautenberg OriginalPaper Pages: 119 - 134