![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Reports on Mathematical Logic, Volume 51
Volume 51, 2016
- Christopher J. Taylor:
Discriminator varieties of double-Heyting algebras. 3-14 - Bruno Dinis, Gilda Ferreira:
Instantiation overflow. 15-33 - Gert-Jan C. Lokhorst:
An alternative intuitionistic version of Mally's deontic logic. 35-41 - Greg Oman:
Unifying some notions of infinity in ZC and ZF. 43-56 - Sergio A. Celani, Ismael Calomino:
On homomorphic images and the free distributive lattice extension of a distributive nearlattice. 57-73 - Marcin Mostowski:
Truth in the limit. 75-89 - George Voutsadakis:
Categorical abstract algebraic logic weakly referential π-institutions. 91-103 - Gemma Robles:
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property. 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". 133-144
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.