No. 48 (2013)
Peter Jipsen, Antonio Ledda, and Francesco Paoli, On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV ; (full text - pdf), pp. 3 – 36.
Yvon Gauthier, Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme; (full text - pdf), pp. 37 – 65.
Alex Citkin, Jankov-style formulas and refutation systems; (full text - pdf), pp. 67 – 80.
Sergio A. Celani, A semantic analysis of some distributive logics with negation ; (full text - pdf), pp. 81 – 100.
Tin Perkov, Tableau-based bisimulation invariance testing ; (full text - pdf), pp. 101 – 115.
Jos\'e L. Castiglioni and Hern\'an J. San Mart\'{\i}n, Errata on ``On the variety of Heyting algebras with successor generated by all finite chains ; (full text - pdf), pp. 117 - 120.