Studia Logica, Volume 82

Volume 82, Number 1, February 2006

• From the Editor. 3-5
  Electronic Edition (link) BibTeX
• Matthias Baaz, Rosalie Iemhoff:
  Gentzen Calculi for the Existence Predicate. 7-23
  Electronic Edition (link) BibTeX
• Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg:
  Program Extraction from Normalization Proofs. 25-49
  Electronic Edition (link) BibTeX
• Kai Brünnler:
  Cut Elimination inside a Deep Inference System for Classical Predicate Logic. 51-71
  Electronic Edition (link) BibTeX
• Alessandra Carbone:
  Group Cancellation and Resolution. 73-93
  Electronic Edition (link) BibTeX
• Agata Ciabattoni, Kazushige Terui:
  Towards a Semantic Characterization of Cut-Elimination. 95-119
  Electronic Edition (link) BibTeX
• Grigori Mints:
  Cut Elimination for S4C: A Case Study. 121-132
  Electronic Edition (link) BibTeX
• Georg Moser, Richard Zach:
  The Epsilon Calculus and Herbrand Complexity. 133-155
  Electronic Edition (link) BibTeX
• Anna Zamansky, Arnon Avron:
  Cut-Elimination and Quantification in Canonical Systems. 157-176
  Electronic Edition (link) BibTeX

Volume 82, Number 2, March 2006

• Josep Maria Font:
  Beyond Rasiowa's Algebraic Approach to Non-classical Logics. 179-209
  Electronic Edition (link) BibTeX
• Siegfried Gottwald:
  Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. 211-244
  Electronic Edition (link) BibTeX
• Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini:
  MV-Algebras and Quantum Computation. 245-270
  Electronic Edition (link) BibTeX
• Larisa Maksimova:
  Definability and Interpolation in Non-Classical Logics. 271-291
  Electronic Edition (link) BibTeX
• Sven Ove Hansson:
  Mild Contraction. Evaluating Loss of Information Due to Loss of Belief. 293-295
  Electronic Edition (link) BibTeX

Volume 82, Number 3, April 2006

• Vincent F. Hendricks, Stig Andur Pedersen:
  Ways of Worlds I-II Two Special Issues on Possible Worlds and Related Notions. 301-305
  Electronic Edition (link) BibTeX
• Maxwell Cresswell:
  From Modal Discourse to Possible Worlds. 307-327
  Electronic Edition (link) BibTeX
• Sven Ove Hansson:
  Ideal Worlds - Wishful Thinking in Deontic Logic. 329-336
  Electronic Edition (link) BibTeX
• Dale Jacquette:
  Propositions, Sets, and Worlds. 337-343
  Electronic Edition (link) BibTeX
• Ahti-Veikko Pietarinen:
  Peirce's Contributions to Possible-Worlds Semantics. 345-369
  Electronic Edition (link) BibTeX
• Achille C. Varzi:
  Strict Identity with No Overlap. 371-378
  Electronic Edition (link) BibTeX
• Alberto Zanardo:
  Quantification over Sets of Possible Worlds in Branching-Time Semantics. 379-400
  Electronic Edition (link) BibTeX