Natural deduction for bi-intuitionistic logic

DSpace Repository

Natural deduction for bi-intuitionistic logic

Author: Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Published in: Journal of Applied Logic (2017), Bd. 25, H. SI, S72-S96
Verlagsangabe: Elsevier Science Bv
Language: English
Full text: http://dx.doi.org/10.1016/j.jal.2017.12.001
ISSN: 1570-8691
DDC Classifikation: 004 - Data processing and computer science
510 - Mathematics
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)