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 131
On strongly minimal sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-96
-
- Article
- Export citation
- Cited by 131
Logic in the twenties: the nature of the quantifier1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-368
-
- Article
- Export citation
- Cited by 128
A natural extension of natural deduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1284-1300
-
- Article
- Export citation
- Cited by 126
A Borel reductibility theory for classes of countable structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 894-914
-
- Article
- Export citation
- Cited by 126
One hundred and two problems in mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-129
-
- Article
- Export citation
- Cited by 125
Natural 3-valued logics—characterization and proof theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-294
-
- Article
- Export citation
- Cited by 120
A survey of proof theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-388
-
- Article
- Export citation
- Cited by 119
Unification in intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-880
-
- Article
- Export citation
- Cited by 117
Recursive well-orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-163
-
- Article
- Export citation
- Cited by 116
Resolution in type theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-432
-
- Article
- Export citation
- Cited by 115
Constructive set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-382
-
- Article
- Export citation
- Cited by 115
Concatenation as a basis for arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-114
-
- Article
- Export citation
- Cited by 114
Propositional proof systems, the consistency of first order theories and the complexity of computations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1063-1079
-
- Article
- Export citation
- Cited by 113
A Functional calculus of first order based on strict implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
-
- Article
- Export citation
- Cited by 112
A new proof that analytic sets are Ramsey
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-165
-
- Article
- Export citation
- Cited by 112
A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-124
-
- Article
- Export citation
- Cited by 112
Polynomial size proofs of the propositional pigeonhole principle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 916-927
-
- Article
- Export citation
- Cited by 111
Substructural fuzzy logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 834-864
-
- Article
- Export citation
- Cited by 109
Probabilities over rich languages, testing and randomness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-548
-
- Article
- Export citation
- Cited by 109
On the interpretation of non-finitist proofs–Part II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-58
-
- Article
- Export citation