Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics

dc.contributor.author	Piecha, Thomas
dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2020-05-26T12:26:42Z
dc.date.available	2020-05-26T12:26:42Z
dc.date.issued	2019
dc.identifier.issn	1572-8730
dc.identifier.uri	http://hdl.handle.net/10900/100957
dc.language.iso	en	en
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s11225-018-9823-7
dc.subject.ddc	510	de_DE
dc.subject.ddc	610	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	300	de_DE
dc.title	Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics	de_DE
dc.type	Article	de_DE
utue.quellen.id	20190926111821_02831
utue.publikation.seiten	233-246	de_DE
utue.personen.roh	Piecha, Thomas
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Studia Logica	de_DE
dcterms.isPartOf.ZS-Issue	SI	de_DE
dcterms.isPartOf.ZS-Volume	107	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät