- Ableitbarkeit und Abfolge in der Wissenschaftstheorie Bolzanos.Günter Buhl - 1961 - Köln: Kölner Universitäts-Verlag.details
|
|
Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.details
|
|
(1 other version)Enzyklopädie Philosophie und Wissenschaftstheorie.Jürgen Mittelstraß - 1998 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 29 (2):356-359.details
|
|
(1 other version)Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
Issues in Epistemic and Modal Logics and Their Applications.Cezar A. Mortari - 1991 - Dissertation, University of Tübingendetails
|
|
Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.details
|
|
Proof and truth: an anti-realist perspective.Luca Tranchini - 2013 - Pisa: Edizioni ETS. Edited by Luca Tranchini.details
|
|
Frege and the resolution calculus.Peter Schroeder-Heister - 1997 - History and Philosophy of Logic 18 (2):95-108.details
|
|
(1 other version)Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
From simple associations to systematic reasoning: A connectionist representation of rules, variables, and dynamic binding using temporal synchrony.Lokendra Shastri & Venkat Ajjanagadde - 1993 - Behavioral and Brain Sciences 16 (3):417-51.details
|
|
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.details
|
|
Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.details
|
|
Formal Theories of Occurrences and Substitutions.René Gazzari - 2022 - Bulletin of Symbolic Logic 28 (2):261-263.details
|
|
Atomic Systems in Proof-Theoretic Semantics: Two Approaches.Peter Schroeder-Heister & Thomas Piecha - 2016 - In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag.details
|
|
How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - 2018 - Synthese 199 (Suppl 3):617-639.details
|
|
(2 other versions)The Open Society and Its Enemies.K. R. Popper - 1946 - Philosophy 21 (80):271-276.details
|
|
A model-theoretic reconstruction of Frege's permutation argument.Peter Schroeder-Heister - 1987 - Notre Dame Journal of Formal Logic 28 (1):69-79.details
|
|
Intensional Harmony as Isomorphism.Paolo Pistone & Luca Tranchini - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 315-337.details
|
|
Sinn und Bedeutung in der Logik Gottlob Freges.Christian Thiel - 1965 - Meisenheim am Glan Hain,:details
|
|
Base-extension semantics for intuitionistic sentential logic.Tor Sandqvist - 2015 - Logic Journal of the IGPL 23 (5):719-731.details
|
|
(1 other version)12. Nicholas Rescher on Greek Philosophy and the Syllogism.Peter Schröder-Heister & Jürgen Mittelstraß - 2014 - In Jürgen Mittelstraß (ed.), Die Griechische Denkform: Von der Entstehung der Philosophie Aus Dem Geiste der Geometrie. Boston: De Gruyter. pp. 247-272.details
|
|
Completeness in Proof-Theoretic Semantics.Thomas Piecha - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.details
|
|
General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.details
|
|
Bedeutung und psychischer Gehalt: eine Untersuchung zur sprachanalytischen Kritik von Husserls früher Phänomenologie.Gianfranco Soldati - 1994details
|
|
On flattening elimination rules.Grigory K. Olkhovikov & Peter Schroeder-Heister - 2014 - Review of Symbolic Logic 7 (1):60-72.details
|
|
Conservativeness and uniqueness.Peter Schroeder-Heister - 1985 - Theoria 51 (3):159-173.details
|
|
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.details
|
|
Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.details
|
|
A proof-theoretic approach to entailment.N. Tennant - 1980 - Journal of Philosophical Logic 9 (2):185 - 209.details
|
|
(2 other versions)Kant und das Problem der „Dinge an sich”.Gerold Prauss - 1975 - Tijdschrift Voor Filosofie 37 (2):339-340.details
|
|
Bibliographie Hugo Dingler.[author unknown] - 1981 - Zeitschrift für Philosophische Forschung 35 (2):283-298.details
|
|
Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.details
|
|