抄録
This paper presents a new correctness criterion for marked Danos-Reginer graphs ( D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 1524-1542 |
| ページ数 | 19 |
| ジャーナル | Journal of Symbolic Logic |
| 巻 | 66 |
| 号 | 4 |
| DOI | |
| 出版ステータス | Published - 2001 12月 |
ASJC Scopus subject areas
- 哲学
- 論理