Leon Henkin
Impact in
-
- Advanced Algebra and Logic
- Computability, Logic, AI Algorithms
- Formal Methods in Verification
- Rough Sets and Fuzzy Logic
- Theoretical Computer Science top 10%
Papers in
-
- Advanced Algebra and Logic 10
- Rough Sets and Fuzzy Logic 2
- Computability, Logic, AI Algorithms 2
-
- History and Theory of Mathematics 8
- Co-authors
- Alfred Tarski (4 shared papers)J. Donald Monk (2 shared papers)Istvàn Németi (1 shared paper)Richard Montague (1 shared paper)Carol A. Shively (1 shared paper)Patrick Suppes (1 shared paper)P. Suppes (1 shared paper)Wilhelm Ackermann (1 shared paper)
- Journals
- Journal of Symbolic Logic (19 papers)Transactions of the American Mathematical Society (2 papers)Bulletin of Symbolic Logic (2 papers)Pacific Journal of Mathematics (1 paper)Philosophia (1 paper)
- Partner nations
- United StatesNetherlandsHungary
In The Last Decade
Leon Henkin
46 papers receiving 417 citations
Peers
Comparison fields: 5 of 67
- Computational Theory and Mathematics 375
- Theoretical Computer Science 18
- Artificial Intelligence 342
- Algebra and Number Theory 43
- Geometry and Topology 67
Countries citing papers authored by Leon Henkin
This map shows the geographic impact of Leon Henkin's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Leon Henkin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Leon Henkin more than expected).
Fields of papers citing papers by Leon Henkin
This network shows the impact of papers produced by Leon Henkin. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Leon Henkin. The network helps show where Leon Henkin may publish in the future.
Co-authors
The 12 scholars most cited alongside Leon Henkin, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 53 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1981 | 69 | |
| 2 | A theory of propositional types | 1963 | 52 |
| 3 | 1963 | 37 | |
| 4 | 1970 | 36 | |
| 5 | 1963 | 31 | |
| 6 | 1953 | 26 | |
| 7 | 1977 | 19 | |
| 8 | Logical systems containing only a finite number of symbols | 1966 | 18 |
| 9 | 1953 | 18 | |
| 10 | 1954 | 17 | |
| 11 | The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory | 1952 | 16 |
| 12 | 1996 | 16 | |
| 13 | 1956 | 16 | |
| 14 | Logic, Methodology and Philosophy of Science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 | 1975 | 13 |
| 15 | 1960 | 11 | |
| 16 | 1957 | 11 | |
| 17 | 1953 | 11 | |
| 18 | The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 | 1959 | 11 |
| 19 | 1977 | 11 | |
| 20 | Mathematics: Report of the Project 2061 Phase I Mathematics Panel | 1989 | 10 |
About Leon Henkin
Leon Henkin is a scholar working on Computational Theory and Mathematics, Theoretical Computer Science, Artificial Intelligence, Mathematical Physics and History and Philosophy of Science, having authored 53 papers that have together received 562 indexed citations. Recurring topics across this work include Advanced Algebra and Logic (10 papers), History and Theory of Mathematics (8 papers), Logic, programming, and type systems (6 papers), Mathematical and Theoretical Analysis (5 papers), Logic, Reasoning, and Knowledge (5 papers), Philosophy and Theoretical Science (2 papers), Rough Sets and Fuzzy Logic (2 papers) and Computability, Logic, AI Algorithms (2 papers). The work is most often cited by research in Computational Theory and Mathematics (375 citations), Theoretical Computer Science (18 citations), Artificial Intelligence (342 citations), Algebra and Number Theory (43 citations) and Geometry and Topology (67 citations). Leon Henkin has collaborated with scholars based in United States, Netherlands and Hungary. Frequent co-authors include Alfred Tarski, J. Donald Monk, Istvàn Németi, Richard Montague, Carol A. Shively, Patrick Suppes, P. Suppes, Wilhelm Ackermann, J. W. Addison and Paul Howard. Their work appears in journals such as Journal of Symbolic Logic, Transactions of the American Mathematical Society, Bulletin of Symbolic Logic, Pacific Journal of Mathematics and Philosophia.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.