On Dummett’s “Proof-Theoretic Justifications of Logical Laws”

DOI10.1007/978-3-319-22686-6_13OpenAlexW2263412797MaRDI QIDQ5864206

Warren D. Goldfarb

Publication date: 3 June 2022

Published in: Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6_13

zbMATH Keywords

Dummettlogical lawsproof-theoretic justification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (2)

Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ Failure of completeness in proof-theoretic semantics

This page was built for publication: On Dummett’s “Proof-Theoretic Justifications of Logical Laws”