scientific article; zbMATH DE number 1114352

From MaRDI portal

Publication:4376071

Jump to:navigation, search

zbMath0888.03036MaRDI QIDQ4376071

M. R. Pentus

Publication date: 8 February 1998

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

zbMATH Keywords

decidability derivability noncommutative linear logic multiplicative fragment cyclic linear logic linear-length translation

Mathematics Subject Classification ID

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

Related Items (2)

Lambek calculus is NP-complete ⋮ Encoding Hamiltonian circuits into multiplicative linear logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4376071&oldid=18376966"