Algebraic and Proof-theoretic Aspects of Non-classical Logics
Author | : S. Aguzzoli |
Publisher | : Springer |
Total Pages | : 317 |
Release | : 2007-10-28 |
ISBN-10 | : 9783540759393 |
ISBN-13 | : 3540759395 |
Rating | : 4/5 (93 Downloads) |
Download or read book Algebraic and Proof-theoretic Aspects of Non-classical Logics written by S. Aguzzoli and published by Springer. This book was released on 2007-10-28 with total page 317 pages. Available in PDF, EPUB and Kindle. Book excerpt: Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume 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. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, it is the third volume of the FoLLI LNAI subline.