Thomas Piecha, Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, 107(1):233-246, 2019. [doi]
@article{PiechaS19a,
title = {Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics},
author = {Thomas Piecha and Peter Schroeder-Heister},
year = {2019},
doi = {10.1007/s11225-018-9823-7},
url = {https://doi.org/10.1007/s11225-018-9823-7},
researchr = {https://researchr.org/publication/PiechaS19a},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {107},
number = {1},
pages = {233-246},
}