Linked bibliography for the SEP article "Proof-Theoretic Semantics" by Peter Schroeder-Heister

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

  • Aczel, Peter (1977). “An Introduction to Inductive Definitions”, in Handbook of Mathematical Logic, John Barwise (ed.), Amsterdam: North-Holland, pp. 739–782. (Scholar)
  • Beall, J.C. and Greg Restall (2006). Logical Pluralism, Oxford: Oxford University Press. (Scholar)
  • Belnap, Nuel D. (1982). “Display Logic”, Journal of Philosophical Logic, 11: 375–417. (Scholar)
  • Brandom, Robert B. (2000). Articulating Reasons: An Introduction to Inferentialism, Cambridge Mass.: Harvard University Press. (Scholar)
  • de Campos Sanz, Wagner and Thomas Piecha (2009). “Inversion by Definitional Reflection and the Admissibility of Logical Rules”, Review of Symbolic Logic, 2: 550–569. (Scholar)
  • de Groote, Philippe, ed. (1995). The Curry-Howard Isomorphism, Volume 8 of Cahiers du Centre de Logique, Academia-Bruyland. (Scholar)
  • Di Cosmo, Roberto and Dale Miller (2010). “Linear Logic”, The Stanford Encyclopedia of Philosophy (Fall 2010 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/fall2010/entries/logic-linear/> (Scholar)
  • Došen, Kosta (1980). Logical Constants: An Essay in Proof Theory, D. Phil. Thesis, Philosophy Department, Oxford University. (Scholar)
  • ––– (1989). “Logical Constants as Punctuation Marks”, Notre Dame Journal of Formal Logic, 30: 362–381. (Scholar)
  • Dummett, Michael (1991). The Logical Basis of Metaphysics, London: Duckworth. (Scholar)
  • Francez, Nissim and Roy Dyckhoff (2010). “Proof-theoretic Semantics for a Natural Language Fragment”, Linguistics and Philosophy, 33: 447–477. (Scholar)
  • Francez, Nissim, Roy Dyckhoff, and Gilad Ben-Avi (2010). “Proof-Theoretic Semantics for Subsentential Phrases”, Studia Logica, 94: 381–401. (Scholar)
  • Gentzen, Gerhard (1934/35). “Untersuchungen über das logische Schließen”, Mathematische Zeitschrift, 39: 176–210, 405–431; English translation in The Collected Papers of Gerhard Gentzen, M. E. Szabo (ed.), Amsterdam: North Holland, 1969, pp. 68–131. (Scholar)
  • Girard, Jean-Yves (1987). “Linear Logic”, Theoretical Computer Science, 50: 1–102. (Scholar)
  • Hacking, Ian (1979). “What is Logic?”, Journal of Philosophy, 76: 285–319. (Scholar)
  • Hallnäs, Lars (1991). “Partial Inductive Definitions”, Theoretical Computer Science, 87: 115–142. (Scholar)
  • ––– (2006). “On the proof-theoretic foundation of general definition theory”, Synthese, 148: 589–602. (Scholar)
  • Hallnäs, Lars and Peter Schroeder-Heister (1990/91). “A proof-theoretic approach to logic programming: I. Clauses as rules. II. Programs as definitions”, Journal of Logic and Computation, 1: 261–283, 635–660. (Scholar)
  • Harper, Robert, Furio Honsell, and Gordon Plotkin (1987). “A Framework for Defining Logics”, Journal of the Association for Computing Machinery, 40: 194–204. (Scholar)
  • Humberstone, Lloyd (2010). “Sentence Connectives in Formal Logic”, The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/sum2010/entries/connectives-logic/> (Scholar)
  • Jäger, Gerhard and Robert F. Stärk (1998). “A Proof-Theoretic Framework for Logic Programming”, Handbook of Proof Theory, Samuel R. Buss (ed.), Amsterdam: Elsevier, pp. 639–682. (Scholar)
  • Kahle, Reinhard and Peter Schroeder-Heister, eds. (2006). Proof-Theoretic Semantics, Special issue of Synthese, Volume 148. (Scholar)
  • Kneale, William (1956). “The Province of Logic”, Contemporary British Philosophy, H. D. Lewis (ed.), London: Allen and Unwin, pp. 237–261. (Scholar)
  • Koslow, Arnold (1992). A Structuralist Theory of Logic, Cambridge: Cambridge University Press. (Scholar)
  • Kreisel, Georg (1971). “A Survey of Proof Theory II”, Proceedings of the Second Scandinavian Logic Symposium, J. E. Renstad (ed.), Amsterdam: North-Holland, pp. 109–170. (Scholar)
  • Kremer, Philip (2009). “The Revision Theory of Truth”, The Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2009/entries/truth-revision/> (Scholar)
  • Kreuger, Per (1994). “Axioms in Definitional Calculi”, Extensions of Logic Programming: Proceedings of the 4th International Workshop, ELP'93, St. Andrews, U.K., March/April 1993 (Lecture Notes in Computer Science, Voluem 798), Roy Dyckhoff (ed.), Berlin: Springer, pp. 196–205. (Scholar)
  • Lambek, J. and P.J. Scott (1986). Introduction to Higher Order Categorical Logic, Cambridge: Cambridge University Press. (Scholar)
  • Lorenzen, Paul (1955). Einführung in die operative Logik und Mathematik, Berlin: Springer; 2nd edition, 1969. (Scholar)
  • Martin-Löf, Per (1971). “Hauptsatz for the intuitionistic theory of iterated inductive definitions”, Proceedings of the Second Scandinavian Logic Symposium, J. E. Fenstad (ed.), Amsterdam: North-Holland, pp. 179–216. (Scholar)
  • ––– (1984). Intuitionistic Type Theory, Napoli: Bibliopolis. (Scholar)
  • ––– (1995). “Verificationism Then and Now”, The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, Werner DePauli-Schimanovich, Eckehart Köhler, and Friedrich Stadler (eds.), Dordrecht: Kluwer, pp. 187–196. (Scholar)
  • ––– (1998). “Truth and Knowability: On the Principles C and K of Michael Dummett”, Truth in Mathematics, Harold G. Dales and Gianluigi Oliveri (eds.), Oxford: Clarendon Press, pp. 105–114. (Scholar)
  • Negri, Sara and Jan von Plato (2001). Structural Proof Theory, Cambridge: Cambridge University Press. (Scholar)
  • Nelson, David (1949). “Constructible Falsity”, Journal of Symbolic Logic, 14: 16–26. (Scholar)
  • Odintsov, Sergei P. (2008). Constructive Negations and Paraconsistency, Berlin: Springer. (Scholar)
  • Popper, Karl Raimund (1947a). “Logic without Assumptions”, Proceedings of the Aristotelian Society, 47: 251–292. (Scholar)
  • ––– (1947b). “New Foundations for Logic”, Mind, 56: 193–235; corrections, Mind, 57: 69–70. (Scholar)
  • Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretical Study, Stockholm: Almqvist & Wiksell; reprinted Mineola, NY: Dover Publications, 2006. (Scholar)
  • ––– (1971). “Ideas and Results in Proof Theory”, Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970), Jens E. Fenstad (ed.), Amsterdam: North-Holland, pp. 235–308. (Scholar)
  • ––– (1972). “The Philosophical Position of Proof Theory”, Contemporary Philosophy in Scandinavia, R. E. Olson and A. M. Paul (eds.), Baltimore, London: John Hopkins Press, pp. 123–134. (Scholar)
  • ––– (1973). “Towards a Foundation of a General Proof Theory”, Logic, Methodology and Philosophy of Science IV, Patrick Suppes, et al. (eds.), Amsterdam: North-Holland, pp. 225–250. (Scholar)
  • ––– (1974). “On the Idea of a General Proof Theory”, Synthese, 27: 63–77. (Scholar)
  • ––– (1985). “Remarks on some Approaches to the Concept of Logical Consequence”, Synthese, 62: 152–171. (Scholar)
  • ––– (2006). “Meaning Approached via Proofs”, Synthese, 148: 507–524. (Scholar)
  • ––– (2007). “Pragmatist and Verificationist Theories of Meaning”, The Philosophy of Michael Dummett, Randall E. Auxier and Lewis Edwin Hahn (eds.), La Salle: Open Court, pp. 455–481. (Scholar)
  • ––– (2013). “An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited”, Advances in Natural Deduction, Edward Hermann Haeusler, Luiz Carlos Pereira, and Valeria de Paiva (eds.), Berlin: Springer. (Scholar)
  • Read, Stephen (2010). “General-Elimination Harmony and the Meaning of the Logical Constants”, Journal of Philosophical Logic, 39: 557–576. (Scholar)
  • Restall, Greg (2009). “Substructural Logics”, The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/sum2009/entries/logic-substructural/>. (Scholar)
  • Sambin, Giovanni, Giulia Battilotti, and Claudia Faggian (2000). “Basic Logic: Reflection, Symmetry, Visibility”, Journal of Symbolic Logic, 65: 979–1013. (Scholar)
  • Sandqvist, Tor (2009). “Classical Logic without Bivalence”, Analysis, 69: 211–218. (Scholar)
  • Schroeder-Heister, Peter (1984). “A natural extension of natural deduction”, Journal of Symbolic Logic, 49: 1284–1300.
  • ––– (1991). “Uniform Proof-Theoretic Semantics for Logical Constants (Abstract)”, Journal of Symbolic Logic, 56: 1142. (Scholar)
  • ––– (1992). “Cut Elimination in Logics with Definitional Reflection”, Nonclassical Logics and Information Processing: Proceedings of the International Workshop, Berlin, November 1990 (Lecture Notes in Computer Science: Volume 619). David Pearce and Heinrich Wansing (eds.), Berlin: Springer, pp. 146–171. (Scholar)
  • ––– (1993). “Rules of Definitional Reflection”, Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos: IEEE Press, pp. 222–232. (Scholar)
  • ––– (2004). “On the notion of assumption in logical systems”, Selected Papers Contributed to the Sections of GAP5 (Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003), R. Bluhm and C. Nimtz (eds.), Paderborn: mentis available online), pp. 27–48. (Scholar)
  • ––– (2005). “Popper's Structuralist Theory of Logic”, Karl Popper: A Centenary Assessment. Vol. III: Science, Ian Jarvie, Karl Milford, and David Miller (eds.), Aldershot: Ashgate, pp. 17–36. (Scholar)
  • ––– (2006). “Validity Concepts in Proof-Theoretic Semantics”, Synthese, 148: 525–571. (Scholar)
  • ––– (2007). “Generalized Definitional Reflection and the Inversion Principle”, Logica Universalis, 1: 355–376. (Scholar)
  • ––– (2008a). “Lorenzen's Operative Justification of Intuitionistic Logic”, One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, Mark van Atten, et al. (eds.), Basel: Birkhäuser, 214–240 [References for whole volume: 391–416]. (Scholar)
  • ––– (2008b). “Proof-Theoretic versus Model-Theoretic Consequence”, The Logica Yearbook 2007, M. Peliš (ed.), Prague: Filosofia, pp. 187–200. (Scholar)
  • ––– (2012a). “Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition”, The Square of Opposition: A General Framework for Cognition, Jean-Yves Béziau and Gillman Payette (eds.), Bern: Peter Lang, pp. 323–349. (Scholar)
  • ––– (2012b). “Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning”. In: Topoi 31, pp. 77–85. (Scholar)
  • ––– (2013). “Definitional Reflection and Basic Logic”, Annals of Pure and Applied Logic, 164(4): 491–501. (Scholar)
  • Shoesmith, D. J. and Timothy J. Smiley (1978). Multiple-Conclusion Logic, Cambridge: Cambridge University Press. (Scholar)
  • Sommaruga, Giovanni (2000). History and Philosophy of Constructive Type Theory, Dordrecht: Kluwer. (Scholar)
  • Sørensen, Morten Heine B. and Pawel Urzyczyn (2006). Lectures on the Curry-Howard Isomorphism, Amsterdam: Elsevier. (Scholar)
  • Tait, W. W: (1967). “Intensional Interpretations of Functionals of Finite Type I”, Journal of Symbolic Logic, 32: 198–212. (Scholar)
  • Tennant, Neil (1978). Natural Logic, Edinburgh: Edinburgh University Press. (Scholar)
  • ––– (1982). “Proof and Paradox”, Dialectica, 36: 265–296. (Scholar)
  • ––– (1987). Anti-Realism and Logic: Truth as Eternal, Oxford: Clarendon Press. (Scholar)
  • ––– (1997). The Taming of the True, Oxford: Clarendon Press. (Scholar)
  • Tranchini, Luca (2010). Proof and Truth: An Anti-Realist Perspective, Milano: Edizioni ETS, 2013; reprint of Ph.D. dissertation, Department of Philosophy, University of Tuebingen, 2010, available online. (Scholar)
  • ––– (2012a). “Truth from a Proof-Theoretic Perspective”. In: Topoi 31, pp. 47–57. (Scholar)
  • ––– (2012b). “Natural Deduction for Dual Intuitionistic Logic”, Studia Logica, 100(3): 631–648. (Scholar)
  • Troelstra, Anne S. and Dirk van Dalen (1988). Constructivism in Mathematics: An Introduction, Amsterdam: North-Holland. (Scholar)
  • Troelstra, A. S. and H. Schwichtenberg (2000). Basic Proof Theory, Cambridge University Press, second edition. (Scholar)
  • von Kutschera, Franz (1968). “Die Vollständigkeit des Operatorensystems {¬, ∧, ∨, ⊃} für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik”, Archiv für mathematische Logik und Grundlagenforschung, 11: 3–16. (Scholar)
  • ––– (1969). “Ein verallgemeinerter Widerlegungsbegrifff für Gentzenkalküle”, Archiv für mathematische Logik und Grundlagenforschung, 12: 104–118. (Scholar)
  • Wansing, Heinrich (1993a). “Functional Completeness for Subsystems of Intuitionistic Propositional Logic”, Journal of Philosophical Logic, 22: 303–321. (Scholar)
  • ––– (1993b). The Logic of Information Structures (Lecture Notes in Artificial Intelligence, Volume 681), Berlin: Springer Springer. (Scholar)
  • ––– (2000). “The Idea of a Proof-theoretic Semantics”, Studia Logica, 64: 3–20. (Scholar)
  • ––– (2001). “Negation”, The Blackwell Guide to Philosophical Logic, L. Goble (ed.), Cambridge, MA: Blackwell, pp. 415–436. (Scholar)
  • Wieckowski, Bartosz (2008). “Predication in Fiction”, in The Logica Yearbook 2007, M. Peliš (ed.), Prague: Filosofia, pp. 267–285. (Scholar)
  • ––– (2011). “Rules for Subatomic Derivation”, Review of Symbolic Logic, 4(2): 219–236. (Scholar)
  • Zeilberger, Noam (2008). “On the Unity of Duality”, Annals of Pure and Applied Logic, 153: 66–96. (Scholar)

Generated Sun Mar 26 09:45:07 2017