1. Editorial note

   • Ryszard Wójcicki

   EditorialNotes Pages: iii - iii

2. The relative consistency of system RRC* and some of its extensions

   • Max A. Freund

   OriginalPaper Pages: 351 - 360

3. Three-element nonfinitely axiomatizable matrices

   • Katarzyna Pałasińska

   OriginalPaper Pages: 361 - 372

4. Proving theorems of the second order Lambek calculus in polynomial time

   • Erik Aarts

   OriginalPaper Pages: 373 - 387

5. A note on the ω-incompleteness formalization

   • Sergio Galvan

   OriginalPaper Pages: 389 - 396

6. Syntactical investigations intoBI logic andBB′I logic

   • Yuichi Komori

   OriginalPaper Pages: 397 - 416

7. Perfect MV-algebras are categorically equivalent to abelianl-groups

   • Antonio Di Nola
   • Ada Lettieri

   OriginalPaper Pages: 417 - 432

8. Cut-free sequent and tableau systems for propositional Diodorean modal logics

   • Rajeev Goré

   OriginalPaper Pages: 433 - 457

9. Books received

   • Jan Woleński
   • Andrzej Nowak
   • Adam Drozdek

   BookReview Pages: 459 - 466