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
C. I. Lewis. Notes on the logic of intension. Structure, method, and meaning, Essays in honor of Henry M. Sheffer, edited by Paul Henle, Horace M. Kallen, and Susanne K. Langer, The Liberal Arts Press, New York1951, pp. 25–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-232
-
- Article
- Export citation
- Cited by 1
EPSILON THEOREMS IN INTERMEDIATE LOGICS
- Part of:
-
- Published online by Cambridge University Press:
- 10 January 2022, pp. 682-720
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Max Black. A translation of Frege's Ueber Sinn und Bedeutung. Introductory note. The philosophical review, vol. 57 (1948), pp. 207–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
- Cited by 1
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
- Cited by 1
Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
- Cited by 1
Abraham Robinson. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 686–694. - Alfred Tarski. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 705–720.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
- Cited by 1
An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-138
-
- Article
- Export citation
- Cited by 1
Alan Ross Anderson and Nuel D. Belnap Jr. Entailment. The logic of relevance and necessity. Volume I. Princeton University Press, Princeton and London1976 (© 1975), xxxii + 542 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-313
-
- 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
Semi-bounded relations in ordered modules
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-517
-
- Article
- Export citation
- Cited by 1
On two hierarchies of dimensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-968
-
- 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
Grafted frames and S1 -completeness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1338
-
- Article
- Export citation
- Cited by 1
The relative consistency of g < cf(Sym(ω))
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-314
-
- 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
Termination and confluence in infinitary term rewriting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1286-1296
-
- Article
- Export citation
- Cited by 1
Minimal models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-260
-
- 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