Natural deduction for bi-intuitionistic logic

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2019-03-20T15:20:12Z
dc.date.available	2019-03-20T15:20:12Z
dc.date.issued	2017
dc.identifier.issn	1570-8691
dc.identifier.uri	http://hdl.handle.net/10900/87182
dc.language.iso	en	de_DE
dc.publisher	Elsevier Science Bv	de_DE
dc.relation.uri	http://dx.doi.org/10.1016/j.jal.2017.12.001	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	510	de_DE
dc.title	Natural deduction for bi-intuitionistic logic	de_DE
dc.type	Article	de_DE
utue.quellen.id	20190131163842_00115
utue.publikation.seiten	S72-S96	de_DE
utue.personen.roh	Tranchini, Luca
dcterms.isPartOf.ZSTitelID	Journal of Applied Logic	de_DE
dcterms.isPartOf.ZS-Issue	SI	de_DE
dcterms.isPartOf.ZS-Volume	25	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE