Peter Schroeder‐Heister

University of Tübingen — Germany

Computer Science · Physical Sciences

24h-index2.0kcitations133works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, Reasoning, and Knowledge(65), Logic, programming, and type systems(61), Advanced Algebra and Logic(34), Semantic Web and Ontologies(20), Philosophy and Theoretical Science(15)

Publications133 total

Logics of Proof-Theoretic Validity
Topoi·2025Open Access
Prawitz's completeness conjecture: A reassessment
Theoria·2024· 3 citedOpen Access
Enzyklopädie Philosophie und Wissenschaftstheorie
2024
Proof-Theoretic Semantics: An Autobiographical Survey
Outstanding contributions to logic·2024· 3 citedOpen Access
Comments on the Contributions
Outstanding contributions to logic·2024Open Access
A
2024
B
2024Open Access
Contraction-Free Logics and the Idea of an Intensional Proof-Theoretic Semantics
Electronic Proceedings in Theoretical Computer Science·2022Open Access
On Systems of Rules of Inference
Trends in logic·2022Open Access
Three Notes on Derivation and Demonstration
Trends in logic·2022Open Access
A Note on the Classical Conditional
Trends in logic·2022Open Access
Popper’s Correspondence with Paul Bernays
Trends in logic·2022Open Access
On the Theory of Deduction, Part I. Derivation and Its Generalizations (1948)
Trends in logic·2022· 8 citedOpen Access
On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948)
Trends in logic·2022· 10 citedOpen Access
Functional Logic Without Axioms or Primitive Rules of Inference (1947)
Trends in logic·2022· 8 citedOpen Access
Logic Without Assumptions (1947)
Trends in logic·2022· 8 citedOpen Access
Popper’s Correspondence with Rudolf Carnap
Trends in logic·2022Open Access
Popper’s Correspondence with Luitzen Egbertus Jan Brouwer
Trends in logic·2022Open Access
The Logical Writings of Karl Popper
Trends in logic·2022· 6 citedOpen Access
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
2022· 3 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Gabriele Heister(7), Walter H. Ehrenstein(5), Thomas Piecha(5), Lars Hallnäs(3), Reinhard Kähle(3), Wagner de Campos Sanz(2), Robert F. Stärk(2), Théodor Landis(1), Marianne Regard(1), Kai F. Wehmeier(1), Frank W. Schaefer(1), Gottfried Gabriel(1), Matthias Gatzemeier(1), Carl Friedrich Gethmann(1), Peter Janich(1), Friedrich Kambartel(1), Kuno Lorenz(1), Klaus Mainzer(1), Christian Thiel(1), Reiner Wimmer(1)