Emptiness and Discharge in Sequent Calculus and Natural Deduction

dc.contributor.author	Arndt, Michael
dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2017-05-26T13:33:33Z
dc.date.available	2017-05-26T13:33:33Z
dc.date.issued	2014
dc.identifier.issn	1572-6126
dc.identifier.uri	http://hdl.handle.net/10900/76455
dc.language.iso	en	de_DE
dc.publisher	Springer Int Publishing Ag	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/978-3-319-06080-4_2	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	300	de_DE
dc.title	Emptiness and Discharge in Sequent Calculus and Natural Deduction	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	S. 13-29	de_DE
utue.personen.roh	Arndt, Michael
utue.personen.roh	Tranchini, Luca
dcterms.isPartOf.ZSTitelID	Trends in Logic Studia Logica Library	de_DE
dcterms.isPartOf.ZS-Volume	41	de_DE