On Dummett's verificationist justification procedure
From MaRDI portal
Publication:516329
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
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