Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
