On the idea of a general proof theory

DOI10.1007/BF00660889zbMath0319.02023OpenAlexW1556018465MaRDI QIDQ1222646

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00660889

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03F99)

Related Items (30)

Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ A propositional theory of truth ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Assertion, inference, and consequence ⋮ Essential structure of proofs as a measure of complexity ⋮ A more general general proof theory ⋮ Models of HoTT and the Constructive View of Theories ⋮ Reprint of: ``A more general general proof theory ⋮ Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament ⋮ Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology ⋮ Partial inductive definitions ⋮ BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS ⋮ Zeno's arrow and the infinitesimal calculus ⋮ On Dummett's verificationist justification procedure ⋮ On the unity of duality ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Radical anti-realism, Wittgenstein and the length of proofs ⋮ Meaning approached via proofs ⋮ Validity concepts in proof-theoretic semantics ⋮ Burali-Forti as a purely logical paradox ⋮ Proof, meaning and paradox: some remarks ⋮ Failure of completeness in proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Classical harmony and separability ⋮ Truth and Proof in Intuitionism ⋮ Truth as an epistemic notion

Cites Work

This page was built for publication: On the idea of a general proof theory