Journal of Symbolic Logic 71 (3):903 - 957 (2006)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1154698583 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 56,060
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
A Propositional Logic with Explicit Fixed Points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
Some Theorems on Structural Consequence Operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
View all 29 references / Add more references
Citations of this work BETA
Algebraic Proof Theory for Substructural Logics: Cut-Elimination and Completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.
On the Complexity of the Leibniz Hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
M-Sets and the Representation Problem.Josep Maria Font & Tommaso Moraschini - 2015 - Studia Logica 103 (1):21-51.
View all 17 citations / Add more citations
Similar books and articles
Four Relevant Gentzen Systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
On Purported Gentzen Formulations of Two Positive Relevent Logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Correspondences Between Classifications and Between Classes of Entities in Molecular Genetics.Gavril Acalugaritei - 1990 - Acta Biotheoretica 38 (2):103-111.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
Protoalgebraic Gentzen Systems and the Cut Rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.
Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Analytics
Added to PP index
2010-08-24
Total views
33 ( #309,441 of 2,403,699 )
Recent downloads (6 months)
2 ( #360,211 of 2,403,699 )
2010-08-24
Total views
33 ( #309,441 of 2,403,699 )
Recent downloads (6 months)
2 ( #360,211 of 2,403,699 )
How can I increase my downloads?
Downloads
