Studia Logica, Volume 82
Volume 82, Number 1, February 2006
From the Editor. 3-5- 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
- Grigori Mints: Cut Elimination for S4C: A Case Study. 121-132
Volume 82, Number 2, March 2006
- 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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team