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
JSL volume 15 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
- Cited by 1
Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
-
- Article
- Export citation
- Cited by 1
Systems of notations and the ramified analytical hierarchy
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-253
-
- Article
- Export citation
- Cited by 1
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES
- Part of:
-
- Published online by Cambridge University Press:
- 22 June 2020, pp. 632-670
-
- Article
- Export citation
- Cited by 1
M. Karnaugh. The map method for synthesis of combinational logic circuits. Transactions of the American Institute of Electrical Engineers, vol. 72 part I (1953), pp. 593–598.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
- Cited by 1
On complete atomic proper relation algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-198
-
- Article
- Export citation
- Cited by 1
Kazimierz Ajdukiewicz. A method of eliminating intensional sentences and sentential formulae. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 17–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
- Cited by 1
Alexander Philipov. Logic and dialectic in the Soviet Union. With a foreword by Ernest Nagel. Studies on the U.S.S.R. No. 1. Lithoprinted. Research Program on the U.S.S.R. (East European Fund, Inc.), New York1952, xi + 89 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
- Cited by 1
Projective well-orderings and bounded forcing axioms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-572
-
- Article
- Export citation
- Cited by 1
Decidable regularly closed fields of algebraic numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-475
-
- Article
- Export citation
- Cited by 1
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
- Cited by 1
Logic, semantics, metamathematics, Papers from 1923 to 1938, by Alfred Tarski, translated by J. H. Woodger, second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis 1983, xxx + 506 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
- Cited by 1
Masao Ohnishi and Kazuo Matsumoto. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 99–108. (Reprinted in Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 183–188.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
- Cited by 1
An introduction to γ-recursion theory (or what to do in KP – Foundation)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-206
-
- Article
- Export citation
- Cited by 1
Louis Osgood Kattsoff. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 44
-
- Article
- Export citation
- Cited by 1
Functional completeness in one variable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
- Cited by 1
Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
-
- Article
- Export citation
- Cited by 1
Complexity, decidability and completeness*
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-424
-
- 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
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