Journal of Symbolic Logic 36 (4):688-688 (1971)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2272509 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
On the Logic of Reducibility: Axioms and Examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.
View all 6 citations / Add more citations
Similar books and articles
Theories Incomparable with Respect to Relative Interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.
Review: Richard Montague, Theories Incomparable with Respect to Relative Interpretability. [REVIEW]S. Feferman - 1971 - Journal of Symbolic Logic 36 (4):688-688.
A Note on the Interpretability Logic of Finitely Axiomatized Theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
A Note on the Interpretability Logic of Finitely Axiomatized Theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.
Preservativity Logic: An Analogue of Interpretability Logic for Constructive Theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
Provability Logics for Relative Interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
On the Axiom of Extensionality in the Positive Set Theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
The Closed Fragment of the Interpretability Logic of PRA with a Constant For.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
Interpretability Degrees of Finitely Axiomatized Sequential Theories.Albert Visser - 2014 - Archive for Mathematical Logic 53 (1-2):23-42.
On Interpretability of Almost Linear Orderings.Akito Tsuboi & Kentaro Wakai - 1998 - Notre Dame Journal of Formal Logic 39 (3):325-331.
The Interpretability Logic of All Reasonable Arithmetical Theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
A Cut-Free Sequent System for the Smallest Interpretability Logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Interpretability In.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.
Analytics
Added to PP index
2017-02-21
Total views
3 ( #1,358,205 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
2017-02-21
Total views
3 ( #1,358,205 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
How can I increase my downloads?
Downloads
