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

Paolo Pistone, Luca Tranchini, Mattia Petrolo. The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Studia Logica, 110(2):545-592, 2022. [doi]

Abstract

Abstract is missing.