A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Misao Nagayama, Mitsuhiro Okada

研究成果: Article査読

1 被引用数 (Scopus)

抄録

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

  • 哲学
  • 論理

フィンガープリント

「A new correctness criterion for the proof nets of non-commutative multiplicative linear logics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル