60. Birthday: Daniele Mundici, 2006

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

Last update Tue May 22 23:23:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page