Citations of work:

Thomas Piecha & Peter Schroeder-Heister (forthcoming). Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  15
    General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - forthcoming - Studia Logica:1-5.
    This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
    Direct download (2 more)  
    Export citation