Yuta Takahashi, Ryo Takemura. Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms. J. Philosophical Logic, 48(3):553-570, 2019. [doi]
@article{TakahashiT19-0,
title = {Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms},
author = {Yuta Takahashi and Ryo Takemura},
year = {2019},
doi = {10.1007/s10992-018-9484-z},
url = {https://doi.org/10.1007/s10992-018-9484-z},
researchr = {https://researchr.org/publication/TakahashiT19-0},
cites = {0},
citedby = {0},
journal = {J. Philosophical Logic},
volume = {48},
number = {3},
pages = {553-570},
}