Proof-theoretic semantics of natural deduction based on inversion

dc.contributor.author	Zimmermann, Ernst
dc.date.accessioned	2022-05-17T14:04:02Z
dc.date.available	2022-05-17T14:04:02Z
dc.date.issued	2021
dc.identifier.issn	0040-5825
dc.identifier.uri	http://hdl.handle.net/10900/127120
dc.language.iso	en	de_DE
dc.publisher	Hoboken	de_DE
dc.relation.uri	http://dx.doi.org/10.1111/theo.12375	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	300	de_DE
dc.title	Proof-theoretic semantics of natural deduction based on inversion	de_DE
dc.type	Article	de_DE
utue.quellen.id	20220404000000_00208
utue.publikation.seiten	1651-1670	de_DE
utue.personen.roh	Zimmermann, Ernst
dcterms.isPartOf.ZSTitelID	Theoria - A Swedish Journal of Philosophy	de_DE
dcterms.isPartOf.ZS-Issue	6	de_DE
dcterms.isPartOf.ZS-Volume	87	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE