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

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record