Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 56
Volume 56, Number 1/2, January/March 1996
- M. E. Adams, Wieslaw Dziobiak:
From the Editors. 1 - T. S. Blyth, J. C. Varlet:
The dual space of a finite simple Ockham algebra. 3-21 - Roberto Cignoli:
Free Q-distributive lattices. 23-29 - David M. Clarc, Jürg Schmid:
The countable homogeneous universal model of B2. 31-66 - Brian A. Davey
, Hilary A. Priestley:
Optimal natural dualities for varieties of Heyting algebras. 67-96 - H. Gaitan:
Representation of finite Demi-p-lattices by means of posets. 97-110 - Hector Gramaglia, Diego Vaggione:
Birkhoff-like sheaf representation for varieties of lattice expansions. 111-131 - Georges Hansoul:
Priestley duality for some subalgebra lattices. 133-149 - David Hobby:
Semi-DeMorgan algebras. 151-183 - Néstor G. Martínez:
A simplified duality for implicative lattices and l-groups. 185-204 - Alejandro Petrovich:
Distributive lattices with an operator. 205-224 - Anna B. Romanowska, Jonathan D. H. Smith:
Semilattice-based dualities. 225-261 - Alasdair Urquhart:
Duality for algebras of relevant logics. 263-276
Volume 56, Number 3, May 1996
- Vladimir Kanovei, Michael Reeken:
Internal approach to external sets and universes (Part III). 293-322 - Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Honesty in partial logic. 323-360 - Miyuki Shirahata:
A linear conservative extension of Zermelo-Fraenkel set theory. 361-392 - Roberto Giuntini:
Quantum MV algebras. 393-417 - Sachio Hirokawa, Yuichi Komori, Izumi Takeuti:
A reduction rule for Peirce formula. 419-426 - F. W. Kroon:
The intrinsic difficulty of recursive functions. 427-454
a service of 
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 2024-04-19 19:20 CEST 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:
