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

Author:

Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

Springer

Language:

English

Full text:

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

This item appears in the following Collection(s)