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

DSpace Repository

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

Author: Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia
Tübinger Autor(en):
Tranchini, Luca
Published in: Studia Logica (2022), Bd. 110, H. 2, S. 545-592
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11225-021-09964-z
ISSN: 0039-3215
DDC Classifikation: 510 - Mathematics
610 - Medicine and health
004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)