Reports on Mathematical Logic

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.

Back to Main Menu