Export
APA
Paolo Pistone, Luca Tranchini, Mattia Petrolo, (2022). The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Studia Logica, 110, 545-592. ISSN 1572-8730. eISSN . http://dx.doi.org/10.1007/s11225-021-09964-z
IEEE
Paolo Pistone, Luca Tranchini, Mattia Petrolo, "The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives" in Studia Logica, vol. 110, pp. 545-592, 2022.
10.1007/s11225-021-09964-z
BIBTEX
@article{61826,
author = {Paolo Pistone and Luca Tranchini and Mattia Petrolo},
title = {The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives},
journal = {Studia Logica},
year = 2022,
pages = {545-592},
volume = 110
}