The three dimensions of proofs
| dc.creator | Guiraud, Yves | |
| dc.date | 2006-12-04 | |
| dc.date.accessioned | 2026-07-07T07:38:34Z | |
| dc.date.available | 2026-07-07T07:38:34Z | |
| dc.description | In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch how local transformations of proofs yield a non contrived example of 4-dimensional rewriting. | |
| dc.description | 38 pages, 50 figures | |
| dc.identifier | https://arxiv.org/abs/math/0612089 | |
| dc.identifier | http://arxiv.org/abs/math/0612089 | |
| dc.identifier | Annals of Pure and Applied Logic, Volume 141, Issues 1-2, August 2006, Pages 266-295 | |
| dc.identifier | doi:10.1016/j.apal.2005.12.012 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/121132 | |
| dc.subject | Category Theory | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Logic | |
| dc.title | The three dimensions of proofs | |
| dc.type | text |