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
• Dmitrij P. Skvortsov: Non-Axiomatizable Second Order Intuitionistic Propositional Logic. 33-46
• Frank Wolter: The Structure of Lattices of Subframe Logics. 47-100

Volume 86, Number 2, 16 June 1997

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

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
• Christopher J. Ash, Peter Cholak, Julia F. Knight: Permitting, Forcing, and Copying of a Given Recursive Relation. 219-236
• Joan Bagaria, Roger Bosch: Projective Forcing. 237-266
• Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes of Typed and Type Assignment Systems. 267-303