Studia Logica, Volume 56

Volume 56, Number 1/2, January/March 1996

M. E. Adams, Wieslaw Dziobiak: From the Editors. 1 BibTeX
T. S. Blyth, J. C. Varlet: The dual space of a finite simple Ockham algebra. 3-21 BibTeX
Roberto Cignoli: Free Q-distributive lattices. 23-29 BibTeX
David M. Clarc, Jürg Schmid: The countable homogeneous universal model of B₂. 31-66 BibTeX
Brian A. Davey, Hilary A. Priestley: Optimal natural dualities for varieties of Heyting algebras. 67-96 BibTeX
H. Gaitan: Representation of finite Demi-p-lattices by means of posets. 97-110 BibTeX
Hector Gramaglia, Diego Vaggione: Birkhoff-like sheaf representation for varieties of lattice expansions. 111-131 BibTeX
Georges Hansoul: Priestley duality for some subalgebra lattices. 133-149 BibTeX
David Hobby: Semi-DeMorgan algebras. 151-183 BibTeX
Néstor G. Martínez: A simplified duality for implicative lattices and l-groups. 185-204 BibTeX
Alejandro Petrovich: Distributive lattices with an operator. 205-224 BibTeX
Anna B. Romanowska, Jonathan D. H. Smith: Semilattice-based dualities. 225-261 BibTeX
Alasdair Urquhart: Duality for algebras of relevant logics. 263-276 BibTeX

Vladimir Kanovei, Michael Reeken: Internal approach to external sets and universes (Part III). 293-322 BibTeX
Wiebe van der Hoek, Jan Jaspars, Elias Thijsse: Honesty in partial logic. 323-360 BibTeX
Miyuki Shirahata: A linear conservative extension of Zermelo-Fraenkel set theory. 361-392 BibTeX
Roberto Giuntini: Quantum MV algebras. 393-417 BibTeX
Sachio Hirokawa, Yuichi Komori, Izumi Takeuti: A reduction rule for Peirce formula. 419-426 BibTeX
F. W. Kroon: The intrinsic difficulty of recursive functions. 427-454 BibTeX