Prawitz, Proofs, and Meaning

DOI10.1007/978-3-319-11041-7_1zbMath1429.03197OpenAlexW2095771083MaRDI QIDQ5213604

Heinrich Wansing

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_1

zbMATH Keywords

normalizationnatural deductionanti-realismproof-theoretic semanticsGerhard Gentzengeneral proof theoryDag Prawitz

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Normality, non-contamination and logical depth in classical natural deduction

Uses Software

• Pesca

Cites Work

• Constructible falsity
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
• The epistemic significance of valid inference
• Logical consequence and the paradoxes
• Normalization and excluded middle. I
• General-elimination harmony and the meaning of the logical constants
• Natural deduction for dual-intuitionistic logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Connectives stranger than tonk
• Logical connectives for constructive modal logic
• Constructive negations and paraconsistency
• Proof-theoretic semantics for subsentential phrases
• Antirealism and universal knowability
• The semantics and proof theory of linear logic
• Constructivism in mathematics. An introduction. Volume II
• On the idea of a general proof theory
• Handbook of proof theory
• The logic of information structures
• Natural deduction with general elimination rules
• Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
• Functional completeness for subsystems of intuitionistic propositional logic
• Displaying modal logic
• Display logic
• Does reductive proof theory have a viable rationale?
• On the equivalence conjecture for proof-theoretic harmony
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Hypersequent and display calculi -- a unified perspective
• Truth as an epistemic notion
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• A proof of cut-elimination theorem in simple type-theory
• Konstruktive Begründung der Mathematik
• A Brief History of Natural Deduction
• Falsification, natural deduction and bi-intuitionistic logic
• NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Proof Analysis
• What is Logic?
• Gentzen's Proof of Normalization for Natural Deduction
• Proof-Theoretic Semantics for a Natural Language Fragment
• A natural extension of natural deduction
• Constructible falsity and inexact predicates
• On the proof theory of the intermediate logic MH
• Positive deissler rank and the complexity of injective modules
• Syntactical and semantical properties of simple type theory
• The correspondence between cut-elimination and normalization
• Substructural logics on display
• Translations from natural deduction to sequent calculus
• Identity of Proofs Based on Normalization and Generality
• Forcing in Proof Theory
• Hypersequent Calculi for Godel Logics -- a Survey
• Cut Elimination, Substitution and Normalisation
• General-Elimination Harmony and Higher-Level Rules
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
• An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
• A Critical Remark on the BHK Interpretation of Implication
• Hauptsatz for higher order logic
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Intensional interpretations of functionals of finite type I
• Completeness and Hauptsatz for second order logic1
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• A Mechanical Proof Procedure and its Realization in an Electronic Computer
• Logical connectives for intuitionistic propositional logic

This page was built for publication: Prawitz, Proofs, and Meaning