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 1820
On the logic of theory change: Partial meet contraction and revision functions

 Published online by Cambridge University Press:
 12 March 2014, pp. 510530

 Article
 Export citation
 Cited by 949
A formulation of the simple theory of types

 Published online by Cambridge University Press:
 12 March 2014, pp. 5668

 Article
 Export citation
 Cited by 539
On the calculus of relations

 Published online by Cambridge University Press:
 12 March 2014, pp. 7389

 Article
 Export citation
 Cited by 499
The relative efficiency of propositional proof systems

 Published online by Cambridge University Press:
 12 March 2014, pp. 3650

 Article
 Export citation
 Cited by 465
A completeness theorem in modal logic1

 Published online by Cambridge University Press:
 12 March 2014, pp. 114

 Article
 Export citation
 Cited by 442
Completeness in the theory of types1

 Published online by Cambridge University Press:
 12 March 2014, pp. 8191

 Article
 Export citation
 Cited by 428
Foundational aspects of theories of measurement1

 Published online by Cambridge University Press:
 12 March 2014, pp. 113128

 Article
 Export citation
 Cited by 393
On notation for ordinal numbers

 Published online by Cambridge University Press:
 12 March 2014, pp. 150155

 Article
 Export citation
 Cited by 366
Three uses of the HerbrandGentzen theorem in relating model theory and proof theory

 Published online by Cambridge University Press:
 12 March 2014, pp. 269285

 Article
 Export citation
 Cited by 344
Intensional interpretations of functionals of finite type I

 Published online by Cambridge University Press:
 12 March 2014, pp. 198212

 Article
 Export citation
 Cited by 318
A filter lambda model and the completeness of type assignment1

 Published online by Cambridge University Press:
 12 March 2014, pp. 931940

 Article
 Export citation
 Cited by 313
A note on the Entscheidungsproblem

 Published online by Cambridge University Press:
 12 March 2014, pp. 4041

 Article
 Export citation
 Cited by 299
Constructible falsity

 Published online by Cambridge University Press:
 12 March 2014, pp. 1626

 Article
 Export citation
 Cited by 292
Recursive Unsolvability of a problem of Thue

 Published online by Cambridge University Press:
 12 March 2014, pp. 111

 Article
 Export citation
 Cited by 278
Linear reasoning. A new form of the HerbrandGentzen theorem

 Published online by Cambridge University Press:
 12 March 2014, pp. 250268

 Article
 Export citation
 Cited by 272
Some theorems about the sentential calculi of Lewis and Heyting

 Published online by Cambridge University Press:
 12 March 2014, pp. 115

 Article
 Export citation
 Cited by 265
The completeness of the firstorder functional calculus

 Published online by Cambridge University Press:
 12 March 2014, pp. 159166

 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. 981998

 Article
 Export citation
 Cited by 245
Finite combinatory processes—formulation1

 Published online by Cambridge University Press:
 12 March 2014, pp. 103105

 Article
 Export citation
 Cited by 238
On the interpretation of intuitionistic number theory

 Published online by Cambridge University Press:
 12 March 2014, pp. 109124

 Article
 Export citation