全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
Mathematics  2006 

The three dimensions of proofs

DOI: 10.1016/j.apal.2005.12.012

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133