scientific article; zbMATH DE number 1114352

MaRDI QIDQ4376071zbMATH OpenFDO

Authors Mati Pentus

Publication date 8 February 1998

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)

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

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
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• 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)