Bulletin of Symbolic Logic 24 (3):306-318 (2018)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/bsl.2018.69 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Degrees of Unsolvability of Constructible Sets of Integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.
Projectively Well-Ordered Inner Models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):418 - 436.
Higher Set Theory and Mathematical Practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.
Citations of this work BETA
No citations found.
Similar books and articles
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Systems of Notations and the Ramified Analytical Hierarchy.Joan D. Lukas & Hilary Putnam - 1974 - Journal of Symbolic Logic 39 (2):243-253.
A Degree-Theoretic Definition of the Ramified Analytical Hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤ N< Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Categorical Abstract Algebraic Logic: The Categorical Suszko Operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.
On a Hierarchy Involving Transitive Closure Logic and Existential Second-Order Quantification.R. Gault & I. Stewart - 2001 - Logic Journal of the IGPL 9 (6):769-780.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
Expressive Completeness of Modal Logic on Binary Ramified Frames.Bernhard Heinemann - 1996 - Journal of Applied Non-Classical Logics 6 (4):347-367.
Labelled Resolution for Classical and Non-Classical Logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
A Reflection On Russell's Ramified Types And Kripke's Hierarchy Of Truths.Fairouz Kamareddine & Twan Laan - 1996 - Logic Journal of the IGPL 4 (2):195-213.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
A Degree Theoretic Definition of the Ramified Analytic Hierarchy.C. G. Jockusch - 1976 - Annals of Mathematical Logic 10 (1):1.
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.Carles Noguera & Tomáš Lávička - 2017 - Studia Logica 105 (3):521-551.
Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.
Analytics
Added to PP index
2018-10-27
Total views
8 ( #1,010,168 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
2018-10-27
Total views
8 ( #1,010,168 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
How can I increase my downloads?
Downloads
