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 25
An undecidable problem in correspondence theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1272
-
- Article
- Export citation
- Cited by 24
Pretopologies and completeness proofs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 861-878
-
- Article
- Export citation
- Cited by 24
Finite injury and Σ1-induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-49
-
- Article
- Export citation
- Cited by 24
Embedding first order predicate logic in fragments of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-718
-
- Article
- Export citation
- Cited by 24
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-682
-
- Article
- Export citation
- Cited by 24
On the semantics of the Henkin quantifier
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-200
-
- Article
- Export citation
- Cited by 24
Interpolation, preservation, and pebble games
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-903
-
- Article
- Export citation
- Cited by 24
The extensions of the modal logic K5
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-109
-
- Article
- Export citation
- Cited by 24
Computable categoricity of trees of finite height
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-215
-
- Article
- Export citation
- Cited by 24
Finitely generated free Heyting algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-165
-
- Article
- Export citation
- Cited by 24
Inner models for set theory – Part III
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-167
-
- Article
- Export citation
- Cited by 24
Some applications of infinitely long formulas
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-349
-
- Article
- Export citation
- Cited by 24
Step by step – Building representations in algebraic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-279
-
- Article
- Export citation
- Cited by 24
Relevant entailment—semantics and formal systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-342
-
- Article
- Export citation
- Cited by 24
A finite basis theorem for residually finite, congruence meet-semidistributive varieties
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-200
-
- Article
- Export citation
- Cited by 24
Computably Isometric Spaces
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1085
-
- Article
- Export citation
- Cited by 24
Paires de structures O-minimales
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-578
-
- Article
- Export citation
- Cited by 24
Countable initial segments of the degrees of unsolvability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-300
-
- Article
- Export citation
- Cited by 24
Minimum propositional proof length is NP-hard to linearly approximate
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-191
-
- Article
- Export citation
- Cited by 24
T-convexity and tame extensions II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-34
-
- Article
- Export citation