文档介绍：Lecture Notes in Artificial Intelligence 4460
Edited by J. G. Carbonell and J. Siekmann
Subseries of Lecture Notes puter Science
FoLLI Publications on Logic, Language and Information
Editors-in-Chief
Luigia i Aiello, University of Rome "La Sapienza", Italy
Michael Moortgat, University of Utrecht, herlands
Maarten de Rijke, University of Amsterdam, herlands
Editorial Board
Carlos Areces, INRIA Lorraine, France
Nicholas Asher, University of Texas at Austin, TX, USA
Johan van Benthem, University of Amsterdam, herlands
Raffaella Bernardi, Free University of Bozen-Bolzano, Italy
Antal van den Bosch, Tilburg University, herlands
Paul Buitelaar, DFKI, Saarbrücken, Germany
Diego Calvanese, Free University of Bozen-Bolzano, Italy
Ann Copestake, University of Cambridge, United Kingdom
Robert Dale, Macquarie University, Sydney, Australia
Luis Fariñas, IRIT, Toulouse, France
Claire Gardent, INRIA Lorraine, France
Rajeev Goré, Australian National University, Canberra, Australia
Reiner Hähnle, Chalmers University of Technology, , Sweden
Wilfrid Hodges, Queen Mary, University of London, United Kingdom
Carsten Lutz, Dresden University of Technology, Germany
Christopher Manning, Stanford University, CA, USA
Valeria de Paiva, Palo Alto Research Center, CA, USA
Martha Palmer, University of Pennsylvania, PA, USA
Alberto Policriti, University of Udine, Italy
James Rogers, Earlham College, Richmond, IN, USA
Francesca Rossi, University of Padua, Italy
Yde Venema, University of Amsterdam, herlands
Bonnie Webber, University of Edinburgh, Scotland, United Kingdom
Ian H. Witten, University of Waikato, New Zealand
Stefano Aguzzoli Agata Ciabattoni
Brunella Gerla Corrado Manara
Vincenzo Marra (Eds.)
Algebraic and
Proof-TheoreticAspects
of Non-classical Logics
Papers in Honor of Daniele Mundici
on the Occasion of His 60th Birthday
13
Series Editors
Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA
Jörg Siekmann, University of Sa