Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2016-04-15T10:30:13Z
dc.date.available	2016-04-15T10:30:13Z
dc.date.issued	2014
dc.identifier.issn	1572-6126
dc.identifier.uri	http://hdl.handle.net/10900/69318
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/978-94-007-7548-0_1	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	610	de_DE
dc.title	Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus	de_DE
dc.type	Article	de_DE
dc.type	BookPart	de_DE
utue.quellen.id	20160330140844_03964
utue.publikation.seiten	1-29	de_DE
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Trends in Logic Studia Logica Library	de_DE
dcterms.isPartOf.ZS-Volume	39	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE