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

DOI10.1093/jigpal/jzt029zbMath1323.03086OpenAlexW2012598067MaRDI QIDQ5176674

Thomas Piecha, Peter Schroeder-Heister, Wagner de Campos Sanz

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4d0a9fba42bf32012b0d9cc1b217ee35f0a3eb1e

zbMATH Keywords

intuitionistic logicadmissibilityclassical logicproof-theoretic semanticsconstructive semanticsdouble negation lawPeirce's rulePeirce's law

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Negative predication and distinctness ⋮ Popper's Notion of Duality and His Theory of Negations ⋮ On Dummett's verificationist justification procedure ⋮ Failure of completeness in proof-theoretic semantics ⋮ Hypothesis-Discharging Rules in Atomic Bases

This page was built for publication: Constructive semantics, admissibility of rules and the validity of Peirce's law