Journal of Logic, Language and Information, Volume 9

Volume 9, Number 1, January 2000

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

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

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

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