Natural Deduction for Dual-intuitionistic Logic

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2014-03-20T14:10:30Z
dc.date.available	2014-03-20T14:10:30Z
dc.date.issued	2012
dc.identifier.issn	0039-3215
dc.identifier.uri	http://hdl.handle.net/10900/50271
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s11225-012-9417-8	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	300	de_DE
dc.subject.ddc	510	de_DE
dc.title	Natural Deduction for Dual-intuitionistic Logic	de_DE
dc.type	Article	de_DE
utue.quellen.id	20140226071329_02055	de_DE
utue.publikation.seiten	631-648	de_DE
utue.personen.roh	Tranchini, Luca
dcterms.isPartOf.ZSTitelID	Studia Logica	de_DE
dcterms.isPartOf.ZS-Issue	3	de_DE
dcterms.isPartOf.ZS-Volume	100	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE