SU\G(𝔸)/K·U

Thomas Piecha

Follow

Generating author description...

All published works
Action Title Year Authors
+ Peter Schroeder-Heister on Proof-Theoretic Semantics 2024 Thomas Piecha
Kai F. Wehmeier
+ PDF Chat Popper’s Correspondence with Rudolf Carnap 2022 David A. Binder
Thomas Piecha
Peter Schroeder‐Heister
+ PDF Chat Popper’s Correspondence with Luitzen Egbertus Jan Brouwer 2022 David A. Binder
Thomas Piecha
Peter Schroeder‐Heister
+ PDF Chat Popper’s Correspondence with Paul Bernays 2022 David A. Binder
Thomas Piecha
Peter Schroeder‐Heister
+ PDF Chat General Proof Theory: Introduction 2018 Thomas Piecha
Peter Schroeder‐Heister
+ Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 2018 Thomas Piecha
Peter Schroeder‐Heister
+ General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015 2016 Thomas Piecha
Peter Schroeder‐Heister
+ Philosophie der Berechenbarkeit - Themenliste 2006 Peter Schroeder‐Heister
Thomas Piecha
Common Coauthors
Coauthor Papers Together
Peter Schroeder‐Heister 7
David A. Binder 3
Kai F. Wehmeier 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015 2016 Thomas Piecha
Peter Schroeder‐Heister
 2
+ Untersuchungen �ber das logische Schlie�en. I 1935 Gerhard Gentzen
 2
+ Untersuchungen �ber das logische Schlie�en. II 1935 Gerhard Gentzen
 2
+ PDF Chat The Fundamental Problem of General Proof Theory 2018 Dag Prawitz
 2
+ PDF Chat The Naturality of Natural Deduction 2017 Luca Tranchini
Paolo Pistone
Mattia Petrolo
 2
+ Ideas and Results in Proof Theory 1971 Dag Prawitz
 1
+ Towards A Foundation of A General Proof Theory 1973 Dag Prawitz
 1
+ Harmony in Proof-Theoretic Semantics: A Reductive Analysis 2014 Peter Schroeder‐Heister
 1
+ Set Theory An Introduction to Independence Proofs 1980 Kenneth Kunen
 1
+ Proof and Paradox 1982 Neil Tennant
 1
+ Gentzen's Proof Systems: Byproducts in a Work of Genius 2012 Jan von Plato
 1
+ Solution of a problem of Leon Henkin 1955 M. Lob
 1
+ PDF Chat Zeno machines and hypercomputation 2006 Petrus H. Potgieter
 1
+ The Justification of Deduction 1976 Susan Haack
 1
+ PDF Chat Identity of Proofs Based on Normalization and Generality 2003 Kosta Došen
 1
+ Refutability and elementary number theory 1972 Esteban López‐Escobar
 1
+ Truth from a Proof-Theoretic Perspective 2012 Luca Tranchini
 1
+ Explicit mathematics with the monotone fixed point principle. II: Models 1999 Michael Rathjen
 1
+ The category of finite sets and Cartesian closed categories 1983 S. V. Solov’ev
 1
+ Normalisation Control in Deep Inference via Atomic Flows 2008 Alessio Guglielmi
Tom Gundersen
 1
+ PDF Chat The Diagonal Method and Hypercomputation 2005 Toby Ord
Tien D. Kieu
 1
+ PDF Chat Structural Focalization 2014 Robert J. Simmons
 1
+ The Foundations of Arithmetic 1952 Brian Coffey
 1
+ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 1987 F. R. Drake
 1
+ Proof Theory in Computer Science 2001 Reinhard Kähle
Peter Schroeder‐Heister
Robert F. Stärk
 1
+ 7 Grundgesetze der Arithmetik 2012 1
+ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 2011 Michael Rathjen
 1
+ PDF Chat Infinite time Turing machines 2000 Joel David Hamkins
Andy Lewis
 1
+ MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS 1966 R. L. Goodstein
 1
+ PDF Chat ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS 2018 Gerhard Jäger
Silvia Steila
 1
+ PDF Chat General Proof Theory: Introduction 2018 Thomas Piecha
Peter Schroeder‐Heister
 1
+ Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 2018 Thomas Piecha
Peter Schroeder‐Heister
 1
+ PDF Chat Isomorphic formulae in classical propositional logic 2011 Kosta Došen
Zoran Petrić
 1
+ PDF Chat Diagonalization in Formal Mathematics 2020 Paulo Guilherme Santos
 1
+ On normalization of proofs in set theory 1983 Lars Hallnäs
Christer Lech
 1
+ PDF Chat POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE 2018 Paolo Pistone
 1
+ On the meanings of the logical constants and the justifications of the logical laws 1996 Per Martin‐Löf
 1
+ Max Steck. Ein unbekannter Brief von Gottlob Frege über Hilberts erste Vorlesung über die Grundlagen der Geometrie. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Math.-naturw. Klasse 1940, no. 6 (1940), 8 pp. 1942 Paul Bernays
 1
+ Basic laws of arithmetic : derived using concept-script : Volumes I & II 2013 Gottlob Frege
Philip A. Ebert
Marcus Rossberg
Crispin Wright
Michael Beaney
Roy T. Cook
 1
+ 3. Investigations into Logical Deduction 1969 1
+ Studies in Logic and the Foundations of Mathematics 2007 1
+ Proof Analysis. A Contribution to Hilbert's Last Problem 2012 F. Poggiolesi
 1
+ Constructible falsity 1949 David Nelson
 1
+ European summer meeting of the association for symbolic logic 1991 1
+ Grundlagen der Mathematik I 1968 D. Hilbert
Paul Bernays
 1
+ The naturality of natural deduction (II). Some remarks on atomic polymorphism 2019 Paolo Pistone
Luca Tranchini
Mattia Petrolo
 1
+ On a Question of Jaegers 2019 Vassilios Gregoriades
 1
+ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics 2022 Peter Schroeder‐Heister
 1
+ PDF Chat Intensional Harmony as Isomorphism 2024 Paolo Pistone
Luca Tranchini
 1
+ Some Set-Theoretic Reduction Principles 2024 Michael Bärtschi
Gerhard Jäger
 1