On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees Dmitrij Skvortsov OriginalPaper Pages: 295 - 323
Quantized Linear Logic, Involutive Quantales and Strong Negation Norihiro Kamide OriginalPaper Pages: 355 - 384
The Simplest Axiom System for Plane Hyperbolic Geometry Victor Pambuccian OriginalPaper Pages: 385 - 411
No Matrix Term-Equivalent to Wroński's 3-element Matrix is Finitely Based Katarzyna Pałasińska OriginalPaper Pages: 413 - 423
A Sequent Formulation of Conditional Logic Based on Belief Change Operations Peter Roeper OriginalPaper Pages: 425 - 438