Studia 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 B₂. 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

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