On Dummett's verificationist justification procedure

DOI10.1007/s11229-015-0865-3zbMath1396.03010OpenAlexW1827696138MaRDI QIDQ516329

Hermógenes Oliveira, Wagner de Campos Sanz

Publication date: 14 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0865-3

zbMATH Keywords

intuitionistic logicproof-theoretic semanticsconstructive semanticssemantic verificationism

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• On the idea of a general proof theory
• Untersuchungen über das logische Schliessen. I
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Meaning approached via proofs
• Failure of completeness in proof-theoretic semantics
• Intuitionism. An introduction. 3rd revised ed
• Base-extension semantics for intuitionistic sentential logic
• Classical logic without bivalence
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited