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 1833
On the logic of theory change: Partial meet contraction and revision functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-530
-
- Article
- Export citation
- Cited by 960
A formulation of the simple theory of types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
-
- Article
- Export citation
- Cited by 539
On the calculus of relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-89
-
- Article
- Export citation
- Cited by 507
The relative efficiency of propositional proof systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
-
- Article
- Export citation
- Cited by 472
A completeness theorem in modal logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
-
- Article
- Export citation
- Cited by 446
Completeness in the theory of types1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-91
-
- Article
- Export citation
- Cited by 431
Foundational aspects of theories of measurement1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-128
-
- Article
- Export citation
- Cited by 400
On notation for ordinal numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-155
-
- Article
- Export citation
- Cited by 376
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-285
-
- Article
- Export citation
- Cited by 352
Intensional interpretations of functionals of finite type I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-212
-
- Article
- Export citation
- Cited by 319
A note on the Entscheidungsproblem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-41
-
- Article
- Export citation
- Cited by 319
A filter lambda model and the completeness of type assignment1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 931-940
-
- Article
- Export citation
- Cited by 308
Constructible falsity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 16-26
-
- Article
- Export citation
- Cited by 293
Recursive Unsolvability of a problem of Thue
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-11
-
- Article
- Export citation
- Cited by 282
Linear reasoning. A new form of the Herbrand-Gentzen theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-268
-
- Article
- Export citation
- Cited by 279
Some theorems about the sentential calculi of Lewis and Heyting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-15
-
- Article
- Export citation
- Cited by 270
The completeness of the first-order functional calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-166
-
- Article
- Export citation
- Cited by 255
Lower bounds for resolution and cutting plane proofs and monotone computations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 981-998
-
- Article
- Export citation
- Cited by 249
Finite combinatory processes—formulation1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-105
-
- Article
- Export citation
- Cited by 245
On the interpretation of intuitionistic number theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-124
-
- Article
- Export citation