Recently added

DSpace Repositorium (Manakin basiert)

7 Mathematisch-Naturwissenschaftliche Fakultät: Recent submissions

  • The Definitional View of Atomic Systems in Proof-Theoretic Semantics
    Piecha, Thomas; Schroeder-Heister, Peter (2017); Wissenschaftlicher Artikel; Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications 2017, pp. 185-200
  • Implications as Rules in Dialogical Semantics
    Piecha, Thomas; Schroeder-Heister, Peter (2012); Wissenschaftlicher Artikel; Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook 2011. London: College Publications 2012, pp. 211-225
  • Proof-theoretic versus Model-theoretic Consequence
    Schroeder-Heister, Peter (2008); Wissenschaftlicher Artikel; The Logica Yearbook 2007, ed. by Michal Peliš, Prague: Filosofia 2008, pp. 187-200
  • Folgerung
    Schroeder-Heister, Peter; Contu, Patrizio (2005); Wissenschaftlicher Artikel; Logik in der Philosophie, hrsg. v. Wolfgang Spohn, Peter Schroeder-Heister und Erik J. Olsson. Heidelberg: Synchron Wissenschaftsverlag der Autoren 2005, S. 247-276
  • Proof-theoretic Validity Based on Elimination Rules
    Schroeder-Heister, Peter (2015); Wissenschaftlicher Artikel; Why is this a Proof? Festschrift for Luiz Carlos Pereira. Ed. by Edward Hermann Haeusler, Wagner de Campos Sanz & Bruno Lopes. London: College Publications 2015, pp. 159-176