Natural deduction for bi-intuitionistic logic

DSpace Repositorium (Manakin basiert)

Natural deduction for bi-intuitionistic logic

Autor(en): Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Erschienen in: Journal of Applied Logic (2017), Bd. 25, H. SI, S72-S96
Verlagsangabe: Elsevier Science Bv
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1016/j.jal.2017.12.001
ISSN: 1570-8691
DDC-Klassifikation: 004 - Informatik
510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: