scientific article; zbMATH DE number 1231525

zbMath0909.03046MaRDI QIDQ4222840

Mitsuhiro Okada, Misao Nagayama

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#nagayama

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

switching conditionDanos-Regnier graphlong-trip conditionmultiplicative fragment of cyclic linear logicnoncommutative proof net

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Unnamed Item ⋮ A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

This page was built for publication: