Prawitz, Proofs, and Meaning

DOI10.1007/978-3-319-11041-7_1zbMATH Open1429.03197OpenAlexW2095771083MaRDI QIDQ5213604FDOQ5213604

Authors: 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

Recommendations

• Dag Prawitz on proofs and meaning
• scientific article; zbMATH DE number 1028823
• Proof, meaning and paradox: some remarks
• Proof theory and meaning: on the context of deducibility
• The logic of proofs, semantically
• Dag Prawitz on proofs, operations and grounding
• Proofs, disproofs, and their duals
• Proofs, reasoning and the metamorphosis of logic
• Proof interpretations with truth
• The Logic of Provability

zbMATH Keywords

natural deductionproof-theoretic semanticsnormalizationGerhard Gentzenanti-realismgeneral proof theoryDag Prawitz

Mathematics Subject Classification ID

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

Cites Work

• Cut elimination, substitution and normalisation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A critical remark on the BHK interpretation of implication
• The semantics and proof theory of linear logic
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logical consequence and the paradoxes
• On the idea of a general proof theory
• Handbook of proof theory
• The logic of information structures
• Display logic
• Meaning approached via proofs
• Gentzen's Proof of Normalization for Natural Deduction
• What is a logic, and what is a proof?
• Title not available (Why is that?)
• The epistemic significance of valid inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Substructural logics on display
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructible falsity
• General-elimination harmony and the meaning of the logical constants
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Proof Analysis
• Title not available (Why is that?)
• Natural deduction with general elimination rules
• Proof theory
• Constructive negations and paraconsistency
• Title not available (Why is that?)
• What is Logic?
• Constructible falsity and inexact predicates
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hypersequent Calculi for Godel Logics -- a Survey
• Constructivism in mathematics. An introduction. Volume II
• Hilbert's programs and beyond
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Displaying modal logic
• Validity concepts in proof-theoretic semantics
• Konstruktive Begründung der Mathematik
• A natural extension of natural deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Intensional interpretations of functionals of finite type I
• Title not available (Why is that?)
• Hauptsatz for higher order logic
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Forcing in Proof Theory
• Cut-elimination and proof search for bi-intuitionistic tense logic
• Title not available (Why is that?)
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Title not available (Why is that?)
• The correspondence between cut-elimination and normalization
• General-elimination harmony and higher-level rules
• An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• A Brief History of Natural Deduction
• Proof-theoretical coherence
• Title not available (Why is that?)
• On the proof theory of the intermediate logic MH
• Normalization and excluded middle. I
• Truth as an epistemic notion
• Syntactical and semantical properties of simple type theory
• Title not available (Why is that?)
• Identity of Proofs Based on Normalization and Generality
• Does reductive proof theory have a viable rationale?
• A proof of cut-elimination theorem in simple type-theory
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Completeness and Hauptsatz for second order logic1
• Natural deduction for dual-intuitionistic logic
• Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
• A Mechanical Proof Procedure and its Realization in an Electronic Computer
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Logical connectives for intuitionistic propositional logic
• Falsification, natural deduction and bi-intuitionistic logic
• Functional completeness for subsystems of intuitionistic propositional logic
• Connectives stranger than tonk
• Logical connectives for constructive modal logic
• Hypersequent and display calculi -- a unified perspective
• Title not available (Why is that?)
• Antirealism and universal knowability
• Title not available (Why is that?)
• Normal derivability in classical natural deduction
• Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
• On the equivalence conjecture for proof-theoretic harmony
• Title not available (Why is that?)
• Positive deissler rank and the complexity of injective modules
• Title not available (Why is that?)
• Gentzen's proof systems: byproducts in a work of genius
• Translations from natural deduction to sequent calculus

Cited In (5)

• Normality, non-contamination and logical depth in classical natural deduction
• Validity concepts in proof-theoretic semantics
• Proof, meaning and paradox: some remarks
• Title not available (Why is that?)
• Dag Prawitz on proofs, operations and grounding

Uses Software

• Pesca

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

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