Recently added

DSpace Repositorium (Manakin basiert)

7 Mathematisch-Naturwissenschaftliche Fakultät: Recent submissions

  • Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
    Schroeder-Heister, Peter (2012); Wissenschaftlicher Artikel; 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); Wissenschaftlicher Artikel; 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); Verschiedenartige Ressourcen, nicht textgeprägt
  • Proof-Theoretic Harmony: The Issue of Propositional Quantification
    Schroeder-Heister, Peter (2014); Wissenschaftlicher Artikel; 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); Wissenschaftlicher Artikel; 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