The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives

Autor(en):

Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia

Tübinger Autor(en):

Erschienen in:

Studia Logica (2022), Bd. 110, H. 2, S. 545-592

Verlagsangabe:

Springer

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0039-3215

DDC-Klassifikation:

510 - Mathematik
610 - Medizin, Gesundheit
004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: