Natural deduction for bi-intuitionistic logic

DSpace Repository

>>Wartungsgarbeiten am 04.12.2023<< Bitte speichern Sie Ihre Arbeit und melden Sie sich ab.

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: Article
Show full item record

This item appears in the following Collection(s)