On the size of refutation Kripke models for some linear modal and tense logics Hiroakira OnoAkira Nakamura OriginalPaper Pages: 325 - 333
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic Franco Montagna OriginalPaper Pages: 347 - 354
The undecidability of the first-order theory of diagonalizable algebras Franco Montagna OriginalPaper Pages: 355 - 359
Intuitionistic uniformity principles for propositions and some applications W. FriedrichH. Luckhardt OriginalPaper Pages: 361 - 369
An example of strongly finite consequence operation with 2ℵ0 standard strengthenings Wiesław Dziobiak OriginalPaper Pages: 375 - 379
A note on three-valued logic and Tarski theorem on truth definitions Andrea Cantini OriginalPaper Pages: 405 - 414