The fundamental problem of general proof theory

DOI10.1007/s11225-018-9785-9OpenAlexW2788766570MaRDI QIDQ2631642

Dag Prawitz

Publication date: 15 May 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9785-9

zbMATH Keywords

proof theoryproofintuitionismvalid argumentvalid inferenceGentzen's naturaldeduction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ The Concepts of Proof and Ground ⋮ Subatomic negation ⋮ The seeming interdependence between the concepts of valid inference and proof

Cites Work

• Realizability and intuitionistic logic
• Constructivism in mathematics. An introduction. Volume II
• Untersuchungen über das logische Schliessen. I
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Explaining Deductive Inference
• A survey of proof theory
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The fundamental problem of general proof theory