The three dimensions of proofs
From MaRDI portal
Publication:2498912
DOI10.1016/j.apal.2005.12.012zbMath1105.03058arXivmath/0612089OpenAlexW2084232252MaRDI QIDQ2498912
Publication date: 16 August 2006
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0612089
proof theoryclassical propositional logicstructural bureaucracythree-dimensional prooftranslation into polygraph
Classical propositional logic (03B05) Structure of proofs (03F07) Graphs, diagram schemes, precategories (18A10)
Related Items
A Topological Perspective on Interacting Algebraic Theories, A folk model structure on omega-cat, Polygraphic resolutions and homology of monoids, Intensional Properties of Polygraphs
Cites Work
- Linear logic
- Higher-dimensional word problems with applications to equational logic
- Towards an algebraic theory of Boolean circuits.
- MELL in the calculus of structures
- Two polygraphic presentations of Petri nets
- Termination orders for three-dimensional rewriting
- Term Rewriting and All That
- A system of interaction and structure
- Unnamed Item
- Unnamed Item
- Unnamed Item