Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
1966.
Intuitionism An Introduction.
Vol. 41,
Issue. ,
p.
127.
Kreisel, G.
1966.
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress.
Vol. 44,
Issue. ,
p.
198.
Kreisel, G.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
145.
Orevkov, V. P.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
95.
Troelstra, A. S.
1981.
Modern Logic — A Survey.
p.
197.
Leivant, Daniel
1985.
Harvey Friedman's Research on the Foundations of Mathematics.
Vol. 117,
Issue. ,
p.
231.
Boričić, Branislav R.
and
Boričić, B. R.
1992.
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC.
Mathematical Logic Quarterly,
Vol. 38,
Issue. 1,
p.
409.
McCarty, D. C.
1994.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.
Notre Dame Journal of Formal Logic,
Vol. 35,
Issue. 1,
Carter, Nathan C.
2006.
Reflexive Intermediate Propositional Logics.
Notre Dame Journal of Formal Logic,
Vol. 47,
Issue. 1,
Anellis, Irving H.
2012.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.
Logica Universalis,
Vol. 6,
Issue. 3-4,
p.
411.
Schubert, Aleksy
Urzyczyn, Paweł
and
Zdanowski, Konrad
2015.
Foundations of Software Science and Computation Structures.
Vol. 9034,
Issue. ,
p.
451.
DEAN, WALTER
and
WALSH, SEAN
2017.
THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC.
The Review of Symbolic Logic,
Vol. 10,
Issue. 2,
p.
357.
van Dalen, Dirk
2017.
The Blackwell Guide to Philosophical Logic.
p.
224.
Forster, Yannick
Kirst, Dominik
and
Smolka, Gert
2019.
On synthetic undecidability in Coq, with an application to the Entscheidungsproblem.
p.
38.
Brede, Nuria
and
Herbelin, Hugo
2021.
On the logical structure of choice and bar induction principles.
p.
1.
Schurz, Gerhard
2021.
Why classical logic is privileged: justification of logics based on translatability.
Synthese,
Vol. 199,
Issue. 5-6,
p.
13067.
Schurz, Gerhard
2022.
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.
Journal of Philosophical Logic,
Vol. 51,
Issue. 1,
p.
27.
Gheorghiu, Alexander V.
and
Pym, David J.
2023.
Semantical Analysis of the Logic of Bunched Implications.
Studia Logica,
Vol. 111,
Issue. 4,
p.
525.
Sundholm, Göran
2024.
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction.
Vol. 481,
Issue. ,
p.
39.