About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Journal of Symbolic Logic
›
top-articles
Journal of Symbolic Logic
0.3
(top 100%)
impact factor
12.8K
(top 1%)
papers
87.6K
(top 5%)
citations
113
(top 5%)
h
-index
0.4
(top 100%)
impact factor
14.3K
all documents
94.4K
doc citations
189
(top 5%)
g
-index
Top Articles
#
Title
Journal
Year
Citations
1
On the logic of theory change: Partial meet contraction and revision functions
Journal of Symbolic Logic
1985
2,254
2
A formulation of the simple theory of types
Journal of Symbolic Logic
1940
1,236
3
A completeness theorem in modal logic
Journal of Symbolic Logic
1959
769
4
On the calculus of relations
Journal of Symbolic Logic
1941
665
5
The relative efficiency of propositional proof systems
Journal of Symbolic Logic
1979
612
6
Foundational aspects of theories of measurement
Journal of Symbolic Logic
1958
584
7
Completeness in the theory of types
Journal of Symbolic Logic
1950
571
8
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Journal of Symbolic Logic
1957
515
9
A note on the Entscheidungsproblem
Journal of Symbolic Logic
1936
507
10
On notation for ordinal numbers
Journal of Symbolic Logic
1938
507
11
Models and reality
Journal of Symbolic Logic
1980
504
12
The calculus of individuals and its uses
Journal of Symbolic Logic
1940
457
13
The completeness of the first-order functional calculus
Journal of Symbolic Logic
1949
421
14
Intensional interpretations of functionals of finite type I
Journal of Symbolic Logic
1967
409
15
A filter lambda model and the completeness of type assignment
Journal of Symbolic Logic
1983
394
16
Lower bounds for resolution and cutting plane proofs and monotone computations
Journal of Symbolic Logic
1997
388
17
On the interpretation of intuitionistic number theory
Journal of Symbolic Logic
1945
383
18
Linear reasoning. A new form of the Herbrand-Gentzen theorem
Journal of Symbolic Logic
1957
366
19
Finite combinatory processes—formulation
Journal of Symbolic Logic
1936
364
20
Constructible falsity
Journal of Symbolic Logic
1949
357
21
Recursive Unsolvability of a problem of Thue
Journal of Symbolic Logic
1947
356
22
Steps toward a constructive nominalism
Journal of Symbolic Logic
1947
347
23
Some theorems about the sentential calculi of Lewis and Heyting
Journal of Symbolic Logic
1948
339
24
Logic in the twenties: the nature of the quantifier
Journal of Symbolic Logic
1979
336
25
A Functional calculus of first order based on strict implication
Journal of Symbolic Logic
1946
308
26
A logical analysis of some value concepts
Journal of Symbolic Logic
1963
298
27
Toward useful type-free theories. I
Journal of Symbolic Logic
1984
298
28
Systems of predicative analysis
Journal of Symbolic Logic
1964
289
29
Transfinite recursive progressions of axiomatic theories
Journal of Symbolic Logic
1962
286
30
Extensions of some theorems of Gödel and Church
Journal of Symbolic Logic
1936
277
31
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
Journal of Symbolic Logic
1997
274
32
A propositional calculus with denumerable matrix
Journal of Symbolic Logic
1959
273
33
The inconsistency of certain formal logics
Journal of Symbolic Logic
1942
266
34
Existence and feasibility in arithmetic
Journal of Symbolic Logic
1971
265
35
On sentences which are true of direct unions of algebras
Journal of Symbolic Logic
1951
255
36
Trial and error predicates and the solution to a problem of Mostowski
Journal of Symbolic Logic
1965
252
37
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
1994
251
38
Logics without the contraction rule
Journal of Symbolic Logic
1985
248
39
Charles W. Morris. Foundations of the theory of signs. International encyclopedia of unified science, vol. 1, no. 2. The University of Chicago Press, Chicago1938, vii + 59 pp.
Journal of Symbolic Logic
1938
245
40
A theorem about infinite-valued sentential logic
Journal of Symbolic Logic
1951
245
41
Gödel numberings of partial recursive functions
Journal of Symbolic Logic
1958
242
42
Quantales and (noncommutative) linear logic
Journal of Symbolic Logic
1990
242
43
Limiting recursion
Journal of Symbolic Logic
1965
234
44
Reflecting on incompleteness
Journal of Symbolic Logic
1991
234
45
Solution of a problem of Leon Henkin
Journal of Symbolic Logic
1955
233
46
Introduction to Higher Order Categorical Logic.
Journal of Symbolic Logic
1989
231
47
Probabilities on finite models
Journal of Symbolic Logic
1976
223
48
Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
Journal of Symbolic Logic
1958
219
49
On the Restraining Power of Guards
Journal of Symbolic Logic
1999
219
50
The problem of interpreting modal logic
Journal of Symbolic Logic
1947
217
site/software ©
exaly
; All materials licenced under
CC by-SA
.