Some General Results About Proof Normalization Marc AiguierDelphine Longuet OriginalPaper 11 February 2010 Pages: 1 - 29
Diagonalization in Double Frames Andrzej WiśniewskiJerzy Pogonowski OriginalPaper 16 February 2010 Pages: 31 - 39
Many-Place Sequent Calculi for Finitely-Valued Logics Alexej P. Pynko OriginalPaper 09 February 2010 Pages: 41 - 66
The Concept of Relevance and the Logic Diagram Tradition Jan Dejnožka OriginalPaper 12 March 2010 Pages: 67 - 135
Two Semantical Approaches to Paraconsistent Modalities Juliana Bueno-Soler OriginalPaper 09 March 2010 Pages: 137 - 160