Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4460)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.
Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiled profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.
Similar content being viewed by others
Keywords
Table of contents (17 chapters)
-
Front Matter
-
Back Matter
Bibliographic Information
Book Title: Algebraic and Proof-theoretic Aspects of Non-classical Logics
Book Subtitle: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
Editors: Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-75939-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-75938-6Published: 26 October 2007
eBook ISBN: 978-3-540-75939-3Published: 28 October 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 312
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Natural Language Processing (NLP)