First-Order Reasoning and Primitive Recursive Natural Number Notations David Isles OriginalPaper 09 August 2010 Pages: 49 - 64
Priestley Duality for Paraconsistent Nelson’s Logic Sergei P. Odintsov OriginalPaper 09 August 2010 Pages: 65 - 93
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic Luiz C. PereiraEdward H. HaeuslerWagner Sanz OriginalPaper 08 August 2010 Pages: 95 - 108
An Intuitionistic Completeness Theorem for Classical Predicate Logic Victor N. Krivtsov OriginalPaper 09 August 2010 Pages: 109 - 115
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic Martin Mose Bentzen OriginalPaper 11 August 2010 Pages: 117 - 124