洋書

  • Francine F. Abeles, Mark E. Fuller eds.  Modern Logic 1850-1950, East and West, Birkhäuser/Springer, Studies in Universal Logic, 2016


和書


論文

  • Neil Tennant  ''Proof and Paradox,'' in: Dialectica, vol. 36, nos. 2-3, 1982
  • Lars Hallnäs  ''Partial Inductive Definitions,'' in: Theoretical Computer Science, vol. 87, no. 1, 1991
  • Per Kreuger  ''Axioms in Definitional Calculi,'' in Roy Dyckhoff ed., Extensions of Logic Programming, 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993, Proceedings, Springer, Lecture Notes in Computer Science, vol. 798, 1994
  • Peter Schroeder-Heister  ''On the Notion of Assumption in Logical Systems,'' in R. Bluhm and C. Nimtz eds., Selected Papers Contributed to the Sections of GAP.5: Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22–26 September 2003, Mentis Verlag, 2004
  • Peter Schroeder-Heister  ''Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning,'' fothcoming in Topoi, vol. 31, no. 1, 2012