Algebraic and Proof-theoretic Aspects of Non-classical Logics Pa
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occa
- PDF / 28,333,719 Bytes
- 317 Pages / 430.15 x 660.926 pts Page_size
- 110 Downloads / 187 Views
4460
Edited by J. G. Carbonell and J. Siekmann
Sub series of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in -Chief Luigia Carlucci Aiello, University of Rome "La Sapienza", Italy Michael Moortgat, University of Utrecht, The Netherlands Maarten de Rijke, University ofAmsterdam, The Netherlands
Editorial Board Carlos Areces, INRIA Lorraine, France Nicholas Asher, University of Texas at Austin, TX, USA Johan van Benthem, University ofAmsterdam, The Netherlands Raffaella Bernardi, Free University of Bozen-Bolzano, Italy Antal van den Bosch, Tilburg University, The Netherlands Paul Buitelaar, DFKI, Saarbriicken, Germany Diego Calvanese, Free University of Bozen-Bolzano, Italy Ann Copestake, University of Cambridge, United Kingdom Robert Dale, Macquarie University, Sydney, Australia Luis Farinas, IRIT, Toulouse, France Claire Gardent, INRIA Lorraine, France Rajeev Gore, Australian National University, Canberra, Australia Reiner Hiihnle, Chalmers University of Technology, Gateborg, 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 ofAmsterdam, The Netherlands Bonnie Webber, University of Edinburgh, Scotland, United Kingdom Ian H. Witten, University ofWaikato, New Zealand
Stefano Aguzzoli Agata Ciabattoni Brunella Gerla Corrado Manara Vincenzo Marra (Eds.)
Algebraic and Proof-Theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
~ Springer
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jorg Siekmann, University of Saarland, Saarbriicken, Germany Volume Editors Stefano Aguzzoli Universita degli Studi di Milano Via Comelico 39-41, 20135 Milano, Italy E-mail: aguzzoli @dsi.unimi.it Agata Ciabattoni Technical University Vienna Wiedner Hauptstrasse 8-10, A -1040 Wien, Austria E-mail: [email protected] Brunella Gerla Universita degli Studi di Salerno Via Ponte don Melillo, 84084 Fisciano (SA), Italy E-mail: [email protected] Corrado Manara Universita degli Studi di Salerno Via Ponte don Melillo, 84084 Fisciano (SA), Italy E-mail: [email protected] Vincenzo Marra Universita degli Studi di Milano Via Comelico 39-41, 20135 Milano, Italy E-mail: [email protected] Library of Congress Control Number: 2007937644 CR Subject Classification (1998): 1.2, F.4.1 LNCS Sublibrary: SL 7 -Artificial Intelligence ISSN ISBN ISBN
0302-9743 3-540-75938-7 Springer Berlin Heidelberg New York 978-3-540-75938-6 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-
