1. New Intuitionistic Logical Constants and Novikov Completeness

   • Alexander Yashin

   OriginalPaper Pages: 151 - 180

2. Substructural Implicational Logics Including the Relevant Logic E

   • Ryo Kashima
   • Norihiro Kamide

   OriginalPaper Pages: 181 - 212

3. The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

   • C. J. van Alten
   • J. G. Raftery

   OriginalPaper Pages: 213 - 222

4. Definability of Leibniz Equality

   • R. Elgueta
   • R. Jansana

   OriginalPaper Pages: 223 - 243

5. Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

   • Paolo Gentilini

   OriginalPaper Pages: 245 - 268

6. L. T. F. Gamut, Logic, Language, and Information, Volume 1: Introduction to Logic; L. T. F. Gamut, Logic, Language, and Information, Volume 2: Intensional Logic and Logical Grammar

   OriginalPaper Pages: 269 - 300