Zum Inhalt springen

  2. Schroeder-Heister, Peter [HerausgeberIn]; Došen, Kosta [Sonstige Person, Familie und Körperschaft] ; Eberhard Karls Universität Tübingen Seminar für Natürlich-Sprachliche Systeme

    Substructural logics

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford [u.a.]: Clarendon Press, 1993

    Erschienen in: Studies in logic and computation ; 2

  3. Dyckhoff, Roy [HerausgeberIn]; Herre, Heinrich [Sonstige Person, Familie und Körperschaft]; Schroeder-Heister, Peter Joseph [Sonstige Person, Familie und Körperschaft] ; ELP 5 1996 Leipzig

    Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1996

    Erschienen in: Lecture notes in computer science ; 1050

  7. Maurer, Harald [VerfasserIn] ; Schroeder-Heister, Peter [AkademischeR BetreuerIn]

    Integrative (Synchronisations-)Mechanismen der (Neuro-)Kognition vor dem Hintergrund des (Neo-)Konnektionismus, der Theorie der nichtlinearen dynamischen Systeme, der Informationstheorie und des Selbstorganisationsparadigmas

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tübingen: Universitätsbibliothek Tübingen, 2014

  10. Schroeder-Heister, Peter [Sonstige Person, Familie und Körperschaft]

    Extensions of logic programming : international workshop, Tübingen, FRG, December 8 - 10, 1989 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1991 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 47500

  11. Schroeder-Heister, Peter [HerausgeberIn]

    Proceedings of the SNS Logic Colloquium, March 1990

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tübingen: Seminar für natürlich-sprachliche Systeme der Universität Tübingen, 1990 ; Tübingen: Universitätsbibliothek Tübingen, 2022

  12. Schroeder-Heister, Peter [VerfasserIn]

    The categorical and the hypothetical : an inferentialist critique of the transmission view of consequence (Draft 2008)

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tübingen: Universitätsbibliothek Tübingen, 2022

  15. Schroeder-Heister, Peter [VerfasserIn]

    Proof-theoretic semantics: some basic ideas : with the manuscript "Proof-theoretic and constructive consequence"

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tübingen: Universitätsbibliothek Tübingen, 2022

  16. Schroeder-Heister, Peter [VerfasserIn]

    Proof-theoretic validity based on elimination rules

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: College Publications, 2015 ; Online-Ausgabe, Tübingen: Universitätsbibliothek Tübingen, 2022

  17. Schroeder-Heister, Peter [VerfasserIn]

    Frege's sequent calculus

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Łódź: Łódź University Press, 2014

    Erschienen in: Trends in logic XIII : Gentzen's and Jaśkowski's heritage : 80 years of natural deduction and sequent calculi

  18. Schroeder-Heister, Peter [VerfasserIn]

    Proof-theoretic harmony : the issue of propositional quantification

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Łódź: Łódź University Press, 2014 ; Online-Ausgabe, Tübingen: Universitätsbibliothek Tübingen

    Erschienen in: Trends in logic XIII : Gentzen's and Jaśkowski's heritage : 80 years of natural deduction and sequent calculi

  19. Schroeder-Heister, Peter [VerfasserIn]

    Definitional reasoning in proof-theoretic semantics and the square of opposition

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bern: Peter Lang, 2012

    Erschienen in: The square of opposition : a general framework for cognition

  20. Schroeder-Heister, Peter [VerfasserIn]

    Paradoxes and structural rules

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: College Publications, 2012 ; Online-Ausgabe, Tübingen: Universitätsbibliothek Tübingen, 2022

    Erschienen in: Insolubles and consequences