scientific article; zbMATH DE number 408788

zbMath0783.03003MaRDI QIDQ4202932

No author found.

Publication date: 6 September 1993

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

zbMATH Keywords

decision procedurederivability of a TBLL sequenttensor-bang fragment of linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Decidability of theories and sets of sentences (03B25) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Proof strategies in linear logic

This page was built for publication: