Locality for classical logic

DOI10.1305/NDJFL/1168352668zbMath1131.03030arXivmath/0301317OpenAlexW2116328015MaRDI QIDQ2372689

Kai Brünnler

Publication date: 1 August 2007

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

Full work available at URL: https://arxiv.org/abs/math/0301317

zbMATH Keywords

cut eliminationlocalitydeep inferencecalculus of structures

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (2)

Classical proof forestry ⋮ A Logical Basis for Quantum Evolution and Entanglement

This page was built for publication: Locality for classical logic