Modules in non-commutative logic

DOI10.1007/3-540-48959-2_3MaRDI QIDQ4263858zbMATH OpenFDO

Authors V. Michele Abrusci

Publication date 28 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48959-2_3

zbMATH Keywords

multiplicative fragment of non-commutative logicpartitionproof netsrestoration

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Review text

The question we want to investigate was expressed by \textit{J.-Y. Girard} [Rend. Semin. Mat., Torino Fasc. Spec. 1987, 11-33 (1987; Zbl 0667.03046)] as follows: ``Assume that I am given a program \(P\) [a proof-net \(\Pi]\), and that I cut it in two parts arbitrarily. I create two \(\dots\) modules, linked together by their border. Can I express that my two modules are complementary [orthogonal], in other terms that I can branch them by identification over their common border? One would like to define the type of the modules as their branching instructions; these branching instructions should be such that they authorized the restoring of the original \(P\) [the proof-net \(\Pi]\). Girard [loc. cit.] gave the solution for the multiplicative fragment of linear logic (MLL); another deep investigation of this question for MLL has been given by \textit{V. Danos} and \textit{L. Regnier} [Arch. Math. Log. 28, No. 3, 181-203 (1989; Zbl 0689.03013)]. Here we present the first steps towards a solution of this question for the multiplicative fragment of non-commutative logic (MNL), which is a refinement of MLL and an extension of both MLL and the cyclic multiplicative linear logic. MNL was introduced by the author and \textit{P. Ruet} [Non-commutative logic. I: The multiplicative fragment (Preprint, Univ. Roma Tre and McGill Univ.) (1998)]. The lines of Girard's investigations [loc. cit.] are the basis for our investigations, since they can be improved and adapted also for MNL. For the entire collection see [Zbl 0911.00022].

Recommendations

• Modules and infinitary logics
• scientific article; zbMATH DE number 2134124
• Non-commutative Multiple-Valued Logic Algebras
• scientific article; zbMATH DE number 999539
• Non-commutative logical algebras and algebraic quantales
• On noncommutative extensions of linear logic
• scientific article; zbMATH DE number 192904
• Relations and non-commutative linear logic
• Non‐commutative intuitionistic linear logic
• Noncommutative lattices and nonmonotonic logical relations

This page was built for publication: Modules in non-commutative logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263858)