Back to Search
Start Over
Completeness of MLL proof-nets W.R.T. weak distributivity
- Source :
- Journal of Symbolic Logic. March, 2007, Vol. 72 Issue 1, p159, 12 p.
- Publication Year :
- 2007
-
Abstract
- A direct proof of completeness of multiplicative proof-nets, MLL starting from a set of simple generators is provided by examining 'weak-distributivity' as a rewriting rule.
- Subjects :
- Proof theory -- Analysis
Calculus -- Analysis
Mathematical analysis
Mathematics
Subjects
Details
- Language :
- English
- ISSN :
- 00224812
- Volume :
- 72
- Issue :
- 1
- Database :
- Gale General OneFile
- Journal :
- Journal of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- edsgcl.164102032