A multi-focused proof system isomorphic to expansion proofs

DOI10.1093/logcom/exu030zbMath1403.03118OpenAlexW4300885336MaRDI QIDQ5739975

Stefan Hetzl, Kaustuv Chaudhuri, Dale A. Miller

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu030

zbMATH Keywords

canonicityexpansion treesmulti-focusing

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Maximally multi-focused proofs for skew non-commutative \texttt{MILL} ⋮ A semantic framework for proof evidence ⋮ On geometry of interaction for polarized linear logic ⋮ Focused and Synthetic Nested Sequents

This page was built for publication: A multi-focused proof system isomorphic to expansion proofs