Publikationsdienste
→
Universitätsbibliographie
→
Auflistung Universitätsbibliographie nach Autor

Auflistung Universitätsbibliographie nach Autor "Schroeder-Heister, Peter"

Anzeige der Dokumente 21-31 von 31

<< Vorherige Seite |

Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen

Piecha, Thomas; Schroeder-Heister, Peter (2015)
Proof Theory

Piecha, Thomas; Schroeder-Heister, Peter (2018)
Proof-theoretic harmony and the levels of rules: Generalised non-flattening results

Schroeder-Heister, Peter; Olkhovikov, G.K. (2014)
Proof-theoretic semantics : assessment and future perspectives : proceedings of the third Tübingen Conference on Proof-theoretic semantics 27-30 March 2019

Piecha, Thomas [HerausgeberIn]; Schroeder-Heister, Peter [HerausgeberIn] (2019)
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

Schroeder-Heister, Peter (2012)
Proof-theoretic validity based on elimination rules

Schroeder-Heister, Peter (2015)
Restricting initial sequents : The trade-offs between identity, contraction and cut

Schroeder-Heister, P. (2016)
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Schroeder-Heister, Peter (2014)
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Schroeder-Heister, Peter (2012)
The Definitional View of Atomic Systems in Proof-Theoretic Semantics

Schroeder-Heister, Peter; Piecha, Thomas (2017)
The Logical Writings of Karl Popper

Binder, David; Schroeder-Heister, Peter; Piecha, Thomas (2022)

Anzeige der Dokumente 21-31 von 31

<< Vorherige Seite |

Publikation melden

Hilfe und Informationen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen