1. Some theorems on structural consequence operations

   • Stephen L. Bloom

   OriginalPaper Pages: 1 - 9

2. On models with variable universe

   • Bernd Ingo Dahn

   OriginalPaper Pages: 11 - 23

3. Hyperintensional logic

   • M. J. Cresswell

   OriginalPaper Pages: 25 - 38

4. Remarks on discussive propositional calculus

   • Tomasz Furmanowski

   OriginalPaper Pages: 39 - 43

5. A finite approximation to models of set theory

   • Paul Weingartner

   OriginalPaper Pages: 45 - 58

6. The decision problem for some finite extensions of the intuitionistic theory of abelian groups

   • Dov M. Gabbay

   OriginalPaper Pages: 59 - 67

7. Logics based on partial Boolean σ-algebras

   • Janusz Czelakowski

   OriginalPaper Pages: 69 - 86

8. Embeddings of classical logic in S4

   • J. Czermak

   OriginalPaper Pages: 87 - 100

9. On functions definable in implicational algebras

   • Pawel Bielak

   OriginalPaper Pages: 101 - 105

10. Three contributions to the two-valued propositional calculus

    • Stanisław Jaśkowski

    OriginalPaper Pages: 121 - 132