Validity concepts in proof-theoretic semantics
From MaRDI portal
Publication:2500820
DOI10.1007/s11229-004-6296-1zbMath1101.03036OpenAlexW2047495800MaRDI QIDQ2500820
Publication date: 18 August 2006
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-004-6296-1
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (46)
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ General proof theory: introduction ⋮ The fundamental problem of general proof theory ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Free semantics ⋮ The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics ⋮ A proof-theoretic universal property of determiners ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Bilateral Rules as Complex Rules ⋮ Anything goes ⋮ The Concepts of Proof and Ground ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ On harmony and permuting conversions ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms ⋮ Natural deduction for dual-intuitionistic logic ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ Radical anti-realism, Wittgenstein and the length of proofs ⋮ The harmony of identity ⋮ Subatomic negation ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Dag Prawitz on proofs, operations and grounding ⋮ Proof, meaning and paradox: some remarks ⋮ On paradoxes in normal form ⋮ Failure of completeness in proof-theoretic semantics ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Meaning and dialogue coherence: A proof-theoretic investigation ⋮ Prawitz, Proofs, and Meaning ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Constructibility and Geometry ⋮ RULES FOR SUBATOMIC DERIVATION ⋮ Single-assumption systems in proof-theoretic semantics ⋮ Game of grounds ⋮ Bilattice logic properly displayed ⋮ An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited ⋮ Truth from a proof-theoretic perspective ⋮ Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partial inductive definitions
- On the idea of a general proof theory
- Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
- Proof-theoretic semantics for classical mathematics
- On the proof-theoretic foundation of general definition theory
- Meaning approached via proofs
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- A Proof-Theoretic Approach to Logic Programming
- Intensional interpretations of functionals of finite type I
This page was built for publication: Validity concepts in proof-theoretic semantics
