Natural Deduction for Dual-intuitionistic Logic

DSpace Repositorium (Manakin basiert)

Natural Deduction for Dual-intuitionistic Logic

Autor(en): Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Erschienen in: Studia Logica (2012), Bd. 100, H. 3, S. 631-648
Verlagsangabe: Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s11225-012-9417-8
ISSN: 0039-3215
DDC-Klassifikation: 300 - Sozialwissenschaften, Soziologie, Anthropologie
510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: