Constructive semantics, admissibility of rules and the validity of Peirce's law

Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister. Constructive semantics, admissibility of rules and the validity of Peirce's law. Logic Journal of the IGPL, 22(2):297-308, 2014. [doi]

Abstract

Abstract is missing.