**No. 51 (2016)**

Christopher J. Taylor, * Discriminator varieties of double-Heyting algebras*;
(full text - pdf), pp. 3 - 14.

Bruno Dinis, Gilda Ferreira, * Instantiation overflow*;
(full text - pdf), pp. 15 - 33.

Gert-Jan C. Lokhorst, * An alternative intuitionistic version of
Mally's deontic logic*;
(full text - pdf), pp. 35 - 41.

Greg Oman, * Unifying some notions of infinity in ZC and ZF*;
(full text - pdf), pp. 43 - 56.

Sergio Celani, Ismael Calomino, * On homomorphic images
and the free distributive lattice extension of a distributive nearlattice*;
(full text - pdf), pp. 57 - 73.

Marcin Mostowski, * Truth in the limit*;
(full text - pdf), pp. 75 - 89.

George Voutsadakis, * Categorical abstract algebraic logic weakly
referential \(\pi\)-institutions*;
(full text - pdf), pp. 91 - 103.

Gemma Robles, * The quasi-relevant 3-valued logic RM3 and some
of its sublogics lacking the variable-sharing property*;
(full text - pdf), pp. 105 - 131.

Hitoshi Omori, * A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic"*;
(full text - pdf), pp. 133 - 144.