Annals of Pure and Applied Logic 163 (7):951-960 (2012)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2011.09.006 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Labeled Calculi and Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
Citations of this work BETA
No citations found.
Similar books and articles
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-Deterministic Semantics.Arnon Avron & Anna Zamansky - unknown
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Statistical Quantifiers in Observational Calculi: An Application in GUHA-Methods.Tomáš Havránek - 1975 - Theory and Decision 6 (2):213-230.
Cut-Free Tableau Calculi for Some Propositional Normal Modal Logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2010 - Linguistics and Philosophy 33 (3):215-250.
On a Class of Functionally Complete Multi-Valued Logical Calculi.Václav Pinkava - 1978 - Studia Logica 37 (2):205 - 212.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
On Different Intuitionistic Calculi and Embeddings From Int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
Analytics
Added to PP index
2013-10-27
Total views
9 ( #954,818 of 2,520,354 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,354 )
2013-10-27
Total views
9 ( #954,818 of 2,520,354 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,354 )
How can I increase my downloads?
Downloads
