• Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition

  Schroeder-Heister, Peter (2012); Aufsatz; Jean-Yves Béziau and Gillman Payette (eds.), The Square of Opposition: A General Framework for Cognition. Bern: Peter Lang 2012, pp. 323-349
• Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien

  Schroeder-Heister, Peter; Schaefer, Frank (1987); Aufsatz; Logik, Wissenschaftstheorie und Erkenntnistheorie. Akten des 11. Internationalen Wittgenstein Symposiums, 4.-13. August 1986, Kirchberg/Wechsel (Österreich). Hrsg. v. P. Weingartner und G. Schurz. Wien: Hölder-Pichler-Tempsky 1987, S. 230–233
• Kosta Došen 1954–2017: Obituaries

  Schroeder-Heister, Peter (2017); Sonstiges
• Proof-Theoretic Harmony: The Issue of Propositional Quantification

  Schroeder-Heister, Peter (2014); Aufsatz; Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 5-15
• Frege's Sequent Calculus

  Schroeder-Heister, Peter (2014); Aufsatz; Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 233-245

View more