On Dummett's pragmatist justification procedure
From MaRDI portal
Publication:6652859
DOI10.1007/S10670-019-00112-7MaRDI QIDQ6652859
Publication date: 13 December 2024
Published in: Erkenntnis (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Meaning approached via proofs
- Validity concepts in proof-theoretic semantics
- Failure of completeness in proof-theoretic semantics
- Untersuchungen über das logische Schließen. I.
- A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
- Proving termination with multiset orderings
- Contraction-free sequent calculi for intuitionistic logic
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional 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
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
- Completeness in Proof-Theoretic Semantics
This page was built for publication: On Dummett's pragmatist justification procedure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6652859)
