1. Curry’s Paradox and ω -Inconsistency

   • Andrew Bacon

   OriginalPaper 07 July 2012 Pages: 1 - 9

2. The Variety Generated by all the Ordinal Sums of Perfect MV-Chains

   • Matteo Bianchi

   OriginalPaper 22 July 2012 Pages: 11 - 29

3. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

   • Vedran Čačić
   • Domagoj Vrgoč

   OriginalPaper 27 June 2012 Pages: 31 - 44

4. Negative Translations Not Intuitionistically Equivalent to the Usual Ones

   • Jaime Gaspar

   OriginalPaper 12 October 2012 Pages: 45 - 63

5. Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring

   • Marcel Jackson
   • Belinda Trotta

   OriginalPaper 12 June 2012 Pages: 65 - 94

6. Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation

   • Edmond W. H. Lee

   OriginalPaper 12 June 2012 Pages: 95 - 115

7. Importing Logics: Soundness and Completeness Preservation

   • J. Rasga
   • A. Sernadas
   • C. Sernadas

   OriginalPaper 12 June 2012 Pages: 117 - 155

8. Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization

   • Ryo Takemura

   OriginalPaper 19 July 2012 Pages: 157 - 191

9. Systems of Quantum Logic

   • Satoko Titani
   • Heiji Kodera
   • Hiroshi Aoyama

   OriginalPaper 12 June 2012 Pages: 193 - 217

10. Book Reviews

    • Rajeev Goré

    Events 23 January 2013 Pages: 219 - 228

11. Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.

    • Walter Carnielli

    BookReview 23 January 2013 Pages: 229 - 232