1. An axiom system for orthomodular quantum logic

   • Gary M. Hardegree

   OriginalPaper Pages: 1 - 12

2. Inclusive first-order logic

   • Roch Ouellet

   OriginalPaper Pages: 13 - 28

3. On the relation provable equivalence and on partitions in effectively inseparable sets

   • Claudio Bernardi

   OriginalPaper Pages: 29 - 37

4. On fragments of Medvedev's logic

   • Miros>law Szatkowski

   OriginalPaper Pages: 39 - 54

5. On the {↔, ∼} -reduct of the intuitionistic consequence operation

   • J. K. Kabziński
   • M. Porębska
   • A. Wroński

   OriginalPaper Pages: 55 - 66

6. Game theoretical semantics and entailment

   • D. E. Over

   OriginalPaper Pages: 67 - 74

7. On some ascending chains of brouwerian modal logics

   • Michael J. White

   OriginalPaper Pages: 75 - 87