Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 1
A. Mostowski. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 401–404. - A. Mostowski. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
- Cited by 1
JSL volume 44 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
- Cited by 1
Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
-
- Article
- Export citation
- Cited by 1
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-237
-
- Article
- Export citation
- Cited by 1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
- Part of:
-
- Published online by Cambridge University Press:
- 07 June 2022, pp. 1310-1320
-
- Article
- Export citation
- Cited by 1
SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD
-
- Published online by Cambridge University Press:
- 01 August 2018, pp. 461-476
-
- Article
- Export citation
- Cited by 1
Friedrich Waismann. Verifiability (Part II of a symposium). Aristotelian Society, supplementary volume XIX (1945), pp. 119–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
- Cited by 1
Existence of classes and value specification of variables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-112
-
- Article
- Export citation
- Cited by 1
R. Bradshaw Angell. Note on a less restricted type of rule of inference. Mind, n.s. vol. 69 (1960), pp. 253–255. - R. B. Angell. The sentential calculus using rule of inference Re . The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), p. 143.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
-
- Article
- Export citation
- Cited by 1
Henry S. Leonard. Principles of right reason. Henry Holt and Company, New York1957, xx + 620 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-436
-
- Article
- Export citation
- Cited by 1
ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES
-
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1691-1721
-
- Article
- Export citation
- Cited by 1
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1416
-
- Article
- Export citation
- Cited by 1
Cauchy completeness in elementary logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1157
-
- Article
- Export citation
- Cited by 1
Jerzy Łoś. Logiki wielowartościowe a formalizacja funkcji intencjonalnych (Many-valued logics and the formalization of intensional functions). Kwartalnik filozoficzny, vol. 17 (1948), pp. 59–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
- Cited by 1
Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
-
- Article
- Export citation
- Cited by 1
FINITE RELATION ALGEBRAS
- Part of:
-
- Published online by Cambridge University Press:
- 19 October 2021, pp. 874-888
-
- Article
- Export citation
- Cited by 1
Jan Lukasiewicz. O sylogistyce Arystotelesa (On Aristotle's syllogistic). Sprawozdania z czynności i posiedzeń Polskiej Akademii Umiejetności, vol. 44 (1939), pp. 220–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
- Cited by 1
More on an undecidability result of Bateman, Jockusch and Woods
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 50
-
- Article
- Export citation
- Cited by 1
Grafted frames and S1 -completeness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1338
-
- Article
- Export citation
- Cited by 1
Remark on Nicod's reduction of Principia mathematica
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
-
- Article
- Export citation