Annals of Pure and Applied Logic, Volume 86

Volume 86, Number 1, 13 June 1997

• Silvio Ghilardi, Giancarlo Meloni: Constructive Canonicity in Non-Classical Logics. 1-32 BibTeX
• Dmitrij P. Skvortsov: Non-Axiomatizable Second Order Intuitionistic Propositional Logic. 33-46 BibTeX
• Frank Wolter: The Structure of Lattices of Subframe Logics. 47-100 BibTeX

Volume 86, Number 2, 16 June 1997

• Uffe Engberg, Glynn Winskel: Completeness Results for Linear Logic on Petri Nets. 101-135 BibTeX
• Pierre Matet: Combinatorics and Forcing with Distributive Ideals. 137-201 BibTeX

Volume 86, Number 3, 23 July 1997

• Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel: Quasi-Simple Relations in Copies of a Given Recursive Structure. 203-218 BibTeX
• Christopher J. Ash, Peter Cholak, Julia F. Knight: Permitting, Forcing, and Copying of a Given Recursive Relation. 219-236 BibTeX
• Joan Bagaria, Roger Bosch: Projective Forcing. 237-266 BibTeX
• Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes of Typed and Type Assignment Systems. 267-303 BibTeX