Paper Info
Title
Quadratic Correctness Criterion for Non-commutative Logic
Abstract
The multiplicative fragment of Non commutative Logic (called MNL) has a proof nets theory [AR00] with a correctness criterion based on long trips for cut-free proof nets. Recently, R. Maieli has developed another criterion in the Danos-Regnier style [Mai00]. Both are in exponential time. We give a quadratic criterion in the Danos contractibility criterion style.
Year
DOI
Venue
2001
10.1007/3-540-44802-0_6
CSL
Keywords
Field
DocType
cut-free proof net,non-commutative logic,danos contractibility criterion style,long trip,exponential time,proof nets theory,danos-regnier style,non commutative logic,quadratic criterion,multiplicative fragment,quadratic correctness criterion
Discrete mathematics,Commutative property,Multiplicative function,Correctness,Structural proof theory,Proof theory,Quadratic equation,Sequent calculus,Linear logic,Mathematics
Conference
ISBN
Citations 
PageRank 
3-540-42554-3
2
0.39
References 
Authors
6
1
Name
Order
Citations
PageRank
Virgile Mogbil1696.77