Annals of Pure and Applied Logic, Volume 84

Volume 84, Number 1, 6 March 1997

Fifth Asian Logic Conference, 14-17 June 1993

John S. Jeavons: An Alternative Linear Semantics for Allowed Logic Programs. 3-16 BibTeX
Ryo Kashima: Contraction-Elimination for Implicational Logics. 17-39 BibTeX
Kazuyuki Tanaka: The Self-Embedding Theorem of WKL₀ and a Non-Standard Method. 41-49 BibTeX
Sanjay Jain, Arun Sharma: Characterizing Language Identification in Terms of Computable Numberings. 51-72 BibTeX
Michel Hébert: Syntactic Characterizations of Closure Under Pullbacks and of Locally Polypresentable Categories. 73-95 BibTeX
Juichi Shinoda: Strong Polynomial-Time Reducibility. 97-117 BibTeX
Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows: Advice Classes of Parameterized Tractability. 119-138 BibTeX
Christine Ann Haught, Theodore A. Slaman: Automorphisms in the PTIME-Turing Degrees of Recursive Sets. 139-152 BibTeX

Saharon Shelah: Colouring and Non-Productivity of aleph₂-C.C. 153-174 BibTeX
Ralph Loader: Equational Theories for Inductive Types. 175-217 BibTeX
William J. Mitchell, Ernest Schimmerling, John R. Steel: The Covering Lemma up to a Woodin Cardinal. 219-255 BibTeX

Jean H. Gallier: Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus. 257-316 BibTeX
Jaap van Oosten: Extensional Realizability. 317-349 BibTeX