The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2023-02-21T14:00:02Z
dc.date.available	2023-02-21T14:00:02Z
dc.date.issued	2022
dc.identifier.issn	0039-3215
dc.identifier.uri	http://hdl.handle.net/10900/136705
dc.language.iso	en	en
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s11225-021-09964-z
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	The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	de_DE
dc.type	Article	de_DE
utue.quellen.id	20220728000000_02909
utue.publikation.seiten	545-592	de_DE
utue.personen.roh	Pistone, Paolo
utue.personen.roh	Tranchini, Luca
utue.personen.roh	Petrolo, Mattia
dcterms.isPartOf.ZSTitelID	Studia Logica	de_DE
dcterms.isPartOf.ZS-Issue	2	de_DE
dcterms.isPartOf.ZS-Volume	110	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät