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

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

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