scientific article; zbMATH DE number 1114352

zbMATH Open0888.03036MaRDI QIDQ4376071FDOQ4376071

Authors: Mati Pentus 

Publication date: 8 February 1998

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231523
• Polynomial equivalence among systems LLNC, LLNC\(_a\) and LLNC\(_0\)
• scientific article; zbMATH DE number 1231525
• Noncommutative linear logic and its quantale semantics
• Non-commutative logic. I: The multiplicative fragment

zbMATH Keywords

decidabilityderivabilitynoncommutative linear logicmultiplicative fragmentcyclic linear logiclinear-length translation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (6)

• Untyping typed algebras and colouring cyclic linear logic
• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Encoding Hamiltonian circuits into multiplicative linear logic
• Title not available (Why is that?)
• Computer Science Logic
• Lambek calculus is NP-complete

This page was built for publication:

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