Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
Crossref DOI link: https://doi.org/10.1007/s11225-018-9823-7
Published Online: 2018-08-25
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Piecha, Thomas
Schroeder-Heister, Peter
Funding for this research was provided by:
DFG (Schr 275/17-1)
Text and Data Mining valid from 2018-08-25
Article History
First Online: 25 August 2018