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

#TitleJournalYearCitations
1On the logic of theory change: Partial meet contraction and revision functionsJournal of Symbolic Logic19852,254
2A formulation of the simple theory of typesJournal of Symbolic Logic19401,236
3A completeness theorem in modal logicJournal of Symbolic Logic1959769
4On the calculus of relationsJournal of Symbolic Logic1941665
5The relative efficiency of propositional proof systemsJournal of Symbolic Logic1979612
6Foundational aspects of theories of measurementJournal of Symbolic Logic1958584
7Completeness in the theory of typesJournal of Symbolic Logic1950571
8Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryJournal of Symbolic Logic1957515
9A note on the EntscheidungsproblemJournal of Symbolic Logic1936507
10On notation for ordinal numbersJournal of Symbolic Logic1938507
11Models and realityJournal of Symbolic Logic1980504
12The calculus of individuals and its usesJournal of Symbolic Logic1940457
13The completeness of the first-order functional calculusJournal of Symbolic Logic1949421
14Intensional interpretations of functionals of finite type IJournal of Symbolic Logic1967409
15A filter lambda model and the completeness of type assignmentJournal of Symbolic Logic1983394
16Lower bounds for resolution and cutting plane proofs and monotone computationsJournal of Symbolic Logic1997388
17On the interpretation of intuitionistic number theoryJournal of Symbolic Logic1945383
18Linear reasoning. A new form of the Herbrand-Gentzen theoremJournal of Symbolic Logic1957366
19Finite combinatory processes—formulationJournal of Symbolic Logic1936364
20Constructible falsityJournal of Symbolic Logic1949357
21Recursive Unsolvability of a problem of ThueJournal of Symbolic Logic1947356
22Steps toward a constructive nominalismJournal of Symbolic Logic1947347
23Some theorems about the sentential calculi of Lewis and HeytingJournal of Symbolic Logic1948339
24Logic in the twenties: the nature of the quantifierJournal of Symbolic Logic1979336
25A Functional calculus of first order based on strict implicationJournal of Symbolic Logic1946308
26A logical analysis of some value conceptsJournal of Symbolic Logic1963298
27Toward useful type-free theories. IJournal of Symbolic Logic1984298
28Systems of predicative analysisJournal of Symbolic Logic1964289
29Transfinite recursive progressions of axiomatic theoriesJournal of Symbolic Logic1962286
30Extensions of some theorems of Gödel and ChurchJournal of Symbolic Logic1936277
31Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmeticJournal of Symbolic Logic1997274
32A propositional calculus with denumerable matrixJournal of Symbolic Logic1959273
33The inconsistency of certain formal logicsJournal of Symbolic Logic1942266
34Existence and feasibility in arithmeticJournal of Symbolic Logic1971265
35On sentences which are true of direct unions of algebrasJournal of Symbolic Logic1951255
36Trial and error predicates and the solution to a problem of MostowskiJournal of Symbolic Logic1965252
37Games and full completeness for multiplicative linear logicJournal of Symbolic Logic1994251
38Logics without the contraction ruleJournal of Symbolic Logic1985248
39Charles 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 Logic1938245
40A theorem about infinite-valued sentential logicJournal of Symbolic Logic1951245
41Gödel numberings of partial recursive functionsJournal of Symbolic Logic1958242
42Quantales and (noncommutative) linear logicJournal of Symbolic Logic1990242
43Limiting recursionJournal of Symbolic Logic1965234
44Reflecting on incompletenessJournal of Symbolic Logic1991234
45Solution of a problem of Leon HenkinJournal of Symbolic Logic1955233
46Introduction to Higher Order Categorical Logic.Journal of Symbolic Logic1989231
47Probabilities on finite modelsJournal of Symbolic Logic1976223
48Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplicationJournal of Symbolic Logic1958219
49On the Restraining Power of GuardsJournal of Symbolic Logic1999219
50The problem of interpreting modal logicJournal of Symbolic Logic1947217