Concepedia

Peter Schroeder‐Heister

PS

35

Publications

1.4K

Citations

21

H-Index

1983

Active since

Affiliations

University of Tübingen(Current)

University of Konstanz

University Hospital of Zurich

Institut für Soziale Arbeit

Chalmers University of Technology

Peter Schroeder‐Heister is an author at University of Tübingen specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringSemanticsFormal MethodsLanguageLinguisticsSocial SciencesFormal VerificationFormal LogicComputer Science

Publications per year

1983–2018

35

Publications

35

A natural extension of natural deduction

Peter Schroeder‐Heister · Journal of Symbolic Logic · 1984 · 238 citations

Formal Logic, Non-classical Logic, Syntax +13

Validity Concepts in Proof-theoretic Semantics

Peter Schroeder‐Heister · Synthese · 2006 · 105 citations

Engineering, Automated Reasoning, Verification +9

Shift of functional cerebral asymmetry during the menstrual cycle

Gabriele Heister, Théodor Landis, Marianne Regard et al. · Neuropsychologia · 1989 · 97 citations

Neurophysiology, Neuroanatomy, Gynecology +8

Rules of definitional reflection

Peter Schroeder‐Heister · 2002 · 93 citations

Formal Semantics, Formal Logic, Engineering +15

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Peter Schroeder‐Heister · Synthese · 2011 · 84 citations

Formal Semantics, Philosophy Of Language, Syntax +9

Rows per page

1–5 of 35