default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports 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
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.
last updated on 2025-03-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
