scientific article; zbMATH DE number 515724

MaRDI QIDQ4283225zbMATH OpenFDO

Authors Stål Aanderaa, Herman Ruge Jervell

Publication date 2 June 1994

zbMATH Keywords

completeness theoremfinite counter modelspropositional linear logicregister machinesTrakhtenbrots theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 786490
• Decision problems for propositional linear logic
• Linear logic and polynomial time
• Linear logic
• Interpolation in fragments of classical linear logic

Cited in

(3)

• Linear Recursive Functions
• scientific article; zbMATH DE number 7003195 (Why is no real title available?)
• Resolution over linear equations and multilinear proofs

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 Q4283225)