1. Wajsberg algebras and post algebras

   • Antonio Jesús Rodríguez
   • Antoni Torrens

   OriginalPaper Pages: 1 - 19

2. P1 algebras

   • Renato A. Lewin
   • Irene F. Mikenberg
   • Maria G. Schwarze

   OriginalPaper Pages: 21 - 28

3. A uniform tableau method for intuitionistic modal logics I

   • Giambattista Amati
   • Fiora Pirri

   OriginalPaper Pages: 29 - 60

4. Decidability by filtrations for graded normal logics (graded modalities V)

   • Claudio Cerrato

   OriginalPaper Pages: 61 - 73

5. On S

   • André Fuhrmann
   • Edwin D. Mares

   OriginalPaper Pages: 75 - 91

6. Second order propositional operators over cantor space

   • Tomasz Połacik

   OriginalPaper Pages: 93 - 105

7. The finite model property for BCK and BCIW

   • Robert K. Meyer
   • Hiroakira Ono

   OriginalPaper Pages: 107 - 118

8. Cut-free sequent calculi for some tense logics

   • Ryo Kashima

   OriginalPaper Pages: 119 - 135

9. Axiomatization and completeness of uncountably valued approximation logic

   • Helena Rasiowa

   OriginalPaper Pages: 137 - 160