Proof-theoretic validity based on elimination rules

MaRDI QIDQ3119360zbMATH OpenFDO

Authors Peter Schroeder-Heister

Publication date 11 March 2019

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Validity concepts in proof-theoretic semantics
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Truth from a proof-theoretic perspective
• Views of proof-theoretic semantics: reified proof-theoretic meanings
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

Cited in

(13)

• Truth from a proof-theoretic perspective
• Steps towards a proof-theoretical semantics
• Validity concepts in proof-theoretic semantics
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• Hypothesis-discharging rules in atomic bases
• Revisiting Dummett's proof-theoretic justification procedures
• scientific article; zbMATH DE number 3212023 (Why is no real title available?)
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Proof-theoretic semantics: an autobiographical survey
• On Dummett's pragmatist justification procedure
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic

This page was built for publication: Proof-theoretic validity based on elimination rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3119360)