Natural Deduction for Dual-intuitionistic Logic

DSpace Repository

Natural Deduction for Dual-intuitionistic Logic

Author: Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Published in: Studia Logica (2012), Bd. 100, H. 3, S. 631-648
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11225-012-9417-8
ISSN: 0039-3215
DDC Classifikation: 300 - Social sciences, sociology and anthropology
510 - Mathematics
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)