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
  

Last update Fri May 24 17:28:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page