An analytic calculus for the intuitionistic logic of proofs

DOI10.1215/00294527-2019-0008OpenAlexW2961141088WikidataQ113751504 ScholiaQ113751504MaRDI QIDQ2330501

Francesca Poggiolesi, Brian Hill

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1562810593

zbMATH Keywords

normalizationcut-eliminationlogic of proofsproof sequents

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Uses Software

• Automath

Cites Work

• Proof internalization in generalized Frege systems for classical logic
• Handbook of philosophical logic. Vol. 8
• Lectures on the Curry-Howard isomorphism
• Gentzen calculi for modal propositional logic
• Substructural logics: a primer
• Displaying modal logic
• Explicit Provability and Constructive Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An analytic calculus for the intuitionistic logic of proofs