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