An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

DOI10.1007/978-94-007-7548-0_12zbMath1342.03038OpenAlexW17753627MaRDI QIDQ5251195

Dag Prawitz

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_12

zbMATH Keywords

general proof theorycompleteness of intuitionistic logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ On Dummett's verificationist justification procedure ⋮ Failure of completeness in proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Intensional interpretations of functionals of finite type I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited