1. In memory of Andrzej Mostowski

   • Helena Rasiowa
   • Wiktor Marek

   Announcement Pages: 1 - 8

2. On universal algebraic constructions of logics

   • H. Andréka
   • T. Gergely
   • I. Németi

   OriginalPaper Pages: 9 - 47

3. Intuitionistic logic with strong negation

   • Yuri Gurevich

   OriginalPaper Pages: 49 - 59

4. Applications of Kripke models to Heyting-Brouwer logic

   • Cecylia Rauszer

   OriginalPaper Pages: 61 - 71

5. Model theory for an extension of intuitionistic logic

   • Cecylia Rauszer

   OriginalPaper Pages: 73 - 87

6. Lattices related to Post algebras and their applications to some logical systems

   • D. Vakarelov

   OriginalPaper Pages: 89 - 107

7. Notes on N-lattices and constructive logic with strong negation

   • D. Vakarelov

   OriginalPaper Pages: 109 - 125

8. On some new intuitionistic propositional connectives. I

   • Dov M. Gabbay

   OriginalPaper Pages: 127 - 139