Studia Logica, Volume 82

Volume 82, Number 1, February 2006

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

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

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