Recently added

DSpace Repositorium (Manakin basiert)

7 Mathematisch-Naturwissenschaftliche Fakultät: Recent submissions

  • 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
  • Paradoxes and Structural Rules
    Schroeder-Heister, Peter (2012); Wissenschaftlicher Artikel; Insolubles and Consequences. Essays in Honour of Stephen Read. Ed. by Catarina Dutilh Novaes & Ole Thomassen Hjortland. London: College Publications 2012, pp. 203-211.