𝔖 Bobbio Scriptorium

✦ LIBER ✦

A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics

✍ Scribed by Misao Nagayama and Mitsuhiro Okada

Book ID: 124978628
Publisher: Association for Symbolic Logic
Year: 2001
Tongue: English
Weight: 826 KB
Volume: 66
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2694960

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new correctness criterion for multipli

A new correctness criterion for multiplicative non-commutative proof nets

✍ Roberto Maieli 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 197 KB

A Graph-Theoretic Characterization Theor

A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Extended Abstract)

✍ Misao Nagayama; Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 48 KB

The authors' replies to the discussion o

The authors' replies to the discussion on Â¿The minimum-moment-of-error-squared criterion: a new performance criterion for servo mechanismsÂ¿ and Â¿The behaviour of a remote-position-control servo mechanism with hard-spring non-linear characteristicsÂ¿

✍ Westcott, J.H.; West, J.C.; Nikiforuk, P.N. 📂 Article 📅 1954 🏛 Institution of Electrical Engineers ⚖ 325 KB

Discussion on "The minimum-moment-of-err

Discussion on "The minimum-moment-of-error-squared criterion: a new performance criterion for servo mechanisms" and "The behaviour of a remote-position-control servo mechanism with hard-spring non-linear characteristics" before the Measurements Section, 16th March, 1954

📂 Article 📅 1954 🏛 Institution of Electrical Engineers ⚖ 689 KB