On Dummett’s verificationist justification procedure
- 5 September 2015
- journal article
- research article
- Published by Springer Nature in Synthese
- Vol. 193 (8) , 2539-2559
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- German Academic Exchange Service (DE) (91562976)
- Conselho Nacional de Desenvolvimento Científico e Tecnológico
This publication has 9 references indexed in Scilit:
- Base-extension semantics for intuitionistic sentential logicLogic Journal of the IGPL, 2015
- An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited2014
- Constructive semantics, admissibility of rules and the validity of Peirce's lawLogic Journal of the IGPL, 2013
- The Connectives2011
- Classical logic without bivalenceAnalysis, 2009
- Meaning Approached Via ProofsSynthese, 2006
- On the idea of a general proof theorySynthese, 1974
- Ideas and Results in Proof Theory1971
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935