On the axiomatization of finiteK-frames Fabio BellissimaMassimo Mirolli OriginalPaper Pages: 383 - 388
The theory of boolean algebras with an additional binary operation Bronisław Tembrowski OriginalPaper Pages: 389 - 405
The representation of Takeuti's\(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \)-operator Roger M. CookeMichiel Van Lambalgen OriginalPaper Pages: 407 - 415
Completeness theorems for some intermediate predicate calculi Pierluigi Minari OriginalPaper Pages: 431 - 441
On some proof theoretical properties of the modal logic GL Marco Borga OriginalPaper Pages: 453 - 459