## Reports on Mathematical Logic

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.