Journal of Logic, Language and Information, Volume 9

Volume 9, Number 1, January 2000

• Daniele Mundici: Foreword: Logics of Uncertainty. 1-3
• Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Lukasiewicz Logic. 5-29
• A. D. C. Bennett, Jeff B. Paris, Alena Vencovská: A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning. 31-63
• Didier Dubois, Petr Hájek, Henri Prade: Knowledge-Driven versus Data-Driven Logics. 65-89
• Franco Montagna: An Algebraic Approach to Propositional Fuzzy Logic. 91-124
• Wiebe van der Hoek: Nonmonotonic Reasoning, Grigoris Antoniou. 125-128
• Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. 128-131
• Rohit Parikh: Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. 131-132

Volume 9, Number 2, April 2000

• Elisabet Engdahl: Editorial: Is JoLLI a Journal for Linguists? 141-142
• C. F. M. Vermeulen: Variables as Stacks. 143-167
• Joost Zwarts, Yoad Winter: Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions. 169-211
• Stéphane Demri, Rajeev Goré: Display Calculi for Logics with Relative Accessibility Relations. 213-236
• Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema: Refined Epistemic Entrenchment. 237-259
• Lawrence S. Moss: Exploring Logical Dynamics, Johan van Benthem. 261-263
• Natasha Kurtonina: Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds. 263-269
• Rajeev Goré: Displaying Modal Logic, Heinrich Wansing. 269-272

Volume 9, Number 3, July 2000

• C. F. M. Vermeulen: Text Structure and Proof Structure. 273-311
• Claire Gardent: Deaccenting and Higher-Order Unification. 313-338
• Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus NL0. 339-352
• Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema: Infobase Change: A First Approximation. 353-377
• Lambèr M. M. Royakkers: Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. 379-387

Volume 9, Number 4, October 2000

• Varol Akman, Patrick Blackburn: Editorial: Alan Turing and Artificial Intelligence. 391-395
• Selmer Bringsjord, Clarke Caporale, Ron Noel: Animals, Zombanimals, and the Total Turing Test. 397-418
• Bruce Edmonds: The Constructibility of Artificial Intelligence (as Defined by the Turing Test). 419-424
• Stevan Harnad: Minds, Machines and Turing. 425-445
• José Hernández-Orallo: Beyond the Turing Test. 447-466
• William J. Rapaport: How to Pass a Turing Test. 467-490
• B. Jack Copeland, Diane Proudfoot: What Turing Did after He Invented the Universal Turing Machine. 491-509
• Amílcar Sernadas: Fibring Logics, Dov M. Gabbay. 511-513
• Esther König, Andreas Mengel: Linguistic Databases, John Nerbonne, ed. 513-517