Proof Systems for Super-Strict Implication

dc.contributor.author	Raidl, Eric
dc.date.accessioned	2025-03-28T05:58:53Z
dc.date.available	2025-03-28T05:58:53Z
dc.date.issued	2024
dc.identifier.issn	0039-3215
dc.identifier.uri	http://hdl.handle.net/10900/163367
dc.language.iso	en	en
dc.publisher	Dordrecht : Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s11225-023-10048-3
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	Proof Systems for Super-Strict Implication	de_DE
dc.type	Article	de_DE
utue.quellen.id	20241001000000_03909
utue.publikation.seiten	249-294	de_DE
utue.personen.roh	Gherardi, Guido
utue.personen.roh	Orlandelli, Eugenio
utue.personen.roh	Raidl, Eric
dcterms.isPartOf.ZSTitelID	Studia Logica	de_DE
dcterms.isPartOf.ZS-Issue	1-2	de_DE
dcterms.isPartOf.ZS-Volume	112	de_DE
utue.fakultaet	Sonstige