19 search results - page 2 / 4 » Correctness of Multiplicative Proof Nets Is Linear |
CSL
2007
Springer
13 years 12 months ago
2007
Springer
We provide a new correctness criterion for unit-free MLL proof structures and MELL proof structures with units. We prove that deciding the correctness of a MLL and of a MELL proof ...
TCS
2011
13 years 21 days ago
2011
MSCS
2007
13 years 5 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
TLCA
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
