Peter Schroeder‐Heister

2.0k total citations
68 papers, 871 citations indexed

About

Peter Schroeder‐Heister is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Experimental and Cognitive Psychology. According to data from OpenAlex, Peter Schroeder‐Heister has authored 68 papers receiving a total of 871 indexed citations (citations by other indexed papers that have themselves been cited), including 43 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 10 papers in Experimental and Cognitive Psychology. Recurrent topics in Peter Schroeder‐Heister's work include Logic, Reasoning, and Knowledge (38 papers), Logic, programming, and type systems (37 papers) and Advanced Algebra and Logic (17 papers). Peter Schroeder‐Heister is often cited by papers focused on Logic, Reasoning, and Knowledge (38 papers), Logic, programming, and type systems (37 papers) and Advanced Algebra and Logic (17 papers). Peter Schroeder‐Heister collaborates with scholars based in Germany, Switzerland and Sweden. Peter Schroeder‐Heister's co-authors include Gabriele Heister, Lars Hallnäs, Walter H. Ehrenstein, Marianne Regard, Théodor Landis, Reinhard Kähle, Kosta Došen, Kai F. Wehmeier, Frank W. Schaefer and Wolfgang Spohn and has published in prestigious journals such as Neuropsychologia, Cortex and Acta Psychologica.

In The Last Decade

Peter Schroeder‐Heister

65 papers receiving 781 citations

Peers

Peter Schroeder‐Heister

CTM

ECP

HPS

Michael Rescorla United States

Gregory Landini United States

R. J. Nelson United States

Lieven Decock Netherlands

C. Wade Savage United States

Corey J. Maley United States

Frances Egan United States

Martin Hackl United States

Jakub Szymanik Netherlands

Robert F. Hadley Canada

Michael Rescorla United States

Peter Schroeder‐Heister

72 ×0.1

89 ×0.3

CTM

168 ×0.8

ECP

203 ×1.2

123 ×1.2

HPS

Citations per year, relative to Peter Schroeder‐Heister Peter Schroeder‐Heister (= 1×) peers Michael Rescorla

Countries citing papers authored by Peter Schroeder‐Heister

Since Specialization

Citations

This map shows the geographic impact of Peter Schroeder‐Heister'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 Peter Schroeder‐Heister with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Schroeder‐Heister more than expected).

Fields of papers citing papers by Peter Schroeder‐Heister

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Schroeder‐Heister. 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 Peter Schroeder‐Heister. The network helps show where Peter Schroeder‐Heister may publish in the future.

Co-authorship network of co-authors of Peter Schroeder‐Heister

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Schroeder‐Heister. A scholar is included among the top collaborators of Peter Schroeder‐Heister based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Peter Schroeder‐Heister. Peter Schroeder‐Heister is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Schroeder‐Heister, Peter. (2024). Prawitz's completeness conjecture: A reassessment. Theoria. 90(5). 492–514.

Schroeder‐Heister, Peter, et al.. (2018). How to Ekman a Crabbé-Tennant. Synthese. 199(S3). 617–639. 5 indexed citations

Schroeder‐Heister, Peter, et al.. (2018). Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica. 107(1). 233–246. 17 indexed citations

Schroeder‐Heister, Peter. (2012). Definitional Reflection and Basic Logic. Annals of Pure and Applied Logic. 164(4). 491–501. 7 indexed citations

Schroeder‐Heister, Peter. (2008). Proof-theoretic versus Model-theoretic Consequence. Universitätsbibliothek Tübingen. 13 indexed citations

Schroeder‐Heister, Peter. (2006). Validity Concepts in Proof-theoretic Semantics. Synthese. 148(3). 525–571. 57 indexed citations

Gabriel, Gottfried, Carl Friedrich Gethmann, Peter Janich, et al.. (2005). Enzyklopädie Philosophie und Wissenschaftstheorie. J.B. Metzler eBooks. 1 indexed citations

Spohn, Wolfgang, Peter Schroeder‐Heister, & Erik J Olsson. (2005). Logik in der Philosophie. Lund University Publications (Lund University). 6. 2 indexed citations

Došen, Kosta & Peter Schroeder‐Heister. (1994). Substructural Logics SLC. Oxford University Press eBooks. 1 indexed citations

10.

Heister, Gabriele & Peter Schroeder‐Heister. (1994). Spatial S-R compatibility: Positional instruction vs. compatibility instruction. Acta Psychologica. 85(1). 15–24. 25 indexed citations

11.

Schroeder‐Heister, Peter. (1991). Uniform proof-theoretic semantics for logical constants. Journal of Symbolic Logic. 56. 6 indexed citations

12.

Hallnäs, Lars, et al.. (1991). Proceedings of the Second International Workshop on Extensions of Logic Programming. 2 indexed citations

13.

Hallnäs, Lars & Peter Schroeder‐Heister. (1990). A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. Journal of Logic and Computation. 1(2). 261–283. 33 indexed citations

14.

Heister, Gabriele, Théodor Landis, Marianne Regard, & Peter Schroeder‐Heister. (1989). Shift of functional cerebral asymmetry during the menstrual cycle. Neuropsychologia. 27(6). 871–880. 74 indexed citations

15.

Schroeder‐Heister, Peter. (1989). Wolfgang Schüler. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg1983, xv + 190 pp.. Journal of Symbolic Logic. 54(2). 622–622. 1 indexed citations

16.

Hallnäs, Lars & Peter Schroeder‐Heister. (1988). A proof-theoretic approach to logic programming, I. Generalized horn clauses. 9 indexed citations

17.

Došen, Kosta & Peter Schroeder‐Heister. (1988). Uniqueness, definability and interpolation. Journal of Symbolic Logic. 53(2). 554–570. 5 indexed citations

18.

Heister, Gabriele & Peter Schroeder‐Heister. (1987). Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization. Acta Psychologica. 66(2). 127–138. 8 indexed citations

19.

Heister, Gabriele & Peter Schroeder‐Heister. (1984). A Note on Location of the Decisional Stages of Choice Reactions in the Left Hemisphere. Cortex. 20(2). 271–275. 1 indexed citations

20.

Schroeder‐Heister, Peter. (1984). A natural extension of natural deduction. Journal of Symbolic Logic. 49(4). 1284–1300. 136 indexed citations

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.

Explore authors with similar magnitude of impact