60. Birthday: Daniele Mundici, 2006

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. Lecture Notes in Computer Science 4460 Springer 2007, ISBN 978-3-540-75938-6 BibTeX

Arnon Avron, Anna Zamansky:
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. 1-24
Electronic Edition (link) BibTeX
Matthias Baaz:
Note on Conditional Constructivity. 25-29
Electronic Edition (link) BibTeX
Lawrence Peter Belluce, Antonio di Nola, Ada Lettieri:
Symmetric MV-Algebras. 30-49
Electronic Edition (link) BibTeX
Xavier Caicedo:
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. 50-68
Electronic Edition (link) BibTeX
Roberto Cignoli:
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. 69-83
Electronic Edition (link) BibTeX
Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini:
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. 84-106
Electronic Edition (link) BibTeX
Antonio di Nola, Mirko Navara:
Cantor-Bernstein Property for MV-Algebras. 107-118
Electronic Edition (link) BibTeX
Costas A. Drossos, Panagis Karazeris:
A Note on Representing and Interpreting MV-Algebras. 119-126
Electronic Edition (link) BibTeX
Francesc Esteva, Lluis Godo:
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. 127-137
Electronic Edition (link) BibTeX
Tobias Gedell, Reiner Hähnle:
Verification by Parallelization of Parametric Code. 138-159
Electronic Edition (link) BibTeX
Andrew M. W. Glass, Françoise Point:
Finitely Presented Abelian Lattice-Ordered Groups. 160-193
Electronic Edition (link) BibTeX
Petr Hájek:
On Fuzzy Theories with Crisp Sentences. 194-200
Electronic Edition (link) BibTeX
Stefan Hetzl, Alexander Leitsch:
Proof Transformations and Structural Invariance. 201-230
Electronic Edition (link) BibTeX
Sándor Jenei, Franco Montagna:
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. 231-246
Electronic Edition (link) BibTeX
Franco Montagna:
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. 247-274
Electronic Edition (link) BibTeX
Giovanni Panti:
The Automorphism Group of Falsum-Free Product Logic. 275-289
Electronic Edition (link) BibTeX
Beloslav Riecan:
Probability Theory on IF Events. 290-308
Electronic Edition (link) BibTeX