Switch to: Citations

References in:

On two problems of Harvey Friedman

Tadeusz Prucnal

Studia Logica 38 (3):247 - 262 (1979)

Add references

You must login to add references.

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details Download Export citation Bookmark 194 citations
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.details Download Export citation Bookmark 82 citations
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.details Provability, Computability and Reflection. Download Export citation Bookmark 228 citations
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details Download Export citation Bookmark 146 citations
Systems of modal logic which are not unreasonable in the sense of halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.details Download Export citation Bookmark 7 citations
Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.details Download Export citation Bookmark 2 citations
Review: K. R. Popper, Logic Without Assumptions. [REVIEW]J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.details Download Export citation Bookmark 14 citations
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details Download Export citation Bookmark 42 citations
Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.details Download Export citation Bookmark 21 citations
Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Download Export citation Bookmark 16 citations
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Download Export citation Bookmark 32 citations
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.details Download Export citation Bookmark 61 citations
A note on Halldén-incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.details Download Export citation Bookmark 14 citations
On Friedman's problem in mathematical logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.details Download Export citation Bookmark 1 citation
Structural completeness and the disjunction property of intermediate logics.Tadeusz Prucnal - 1975 - Bulletin of the Section of Logic 4 (2):72-73.details In this paper it is shown that there exist a structural complete interme- diate logics with the disjunction property, which was previously conjectured by H. Friedman. The intermedi. Download Export citation Bookmark 1 citation
[Omnibus Review].Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.details Download Export citation Bookmark 1 citation

1