Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2023-07-03T07:34:10Z
dc.date.available	2023-07-03T07:34:10Z
dc.date.issued	2022
dc.identifier.issn	0022-3611
dc.identifier.uri	http://hdl.handle.net/10900/142654
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s10992-021-09639-z	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	300	de_DE
dc.subject.ddc	610	de_DE
dc.title	Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach	de_DE
dc.type	Article	de_DE
utue.quellen.id	20230202000000_05463
utue.publikation.seiten	1417-1452	de_DE
utue.personen.roh	Cobreros, Pablo
utue.personen.roh	La Rosa, Elio
utue.personen.roh	Tranchini, Luca
dcterms.isPartOf.ZSTitelID	Journal of Philosophical Logic	de_DE
dcterms.isPartOf.ZS-Issue	6	de_DE
dcterms.isPartOf.ZS-Volume	51	de_DE
utue.fakultaet	04 Medizinische Fakultät	de_DE