scientific article; zbMATH DE number 1114353

MaRDI QIDQ4376072zbMATH OpenFDO

Authors Guy Perrier

Publication date 1997

zbMATH Keywords

decision procedurefragment of MALL2second-order linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• A PSPACE-complete fragment of second-order linear logic
• scientific article; zbMATH DE number 1163987
• The undecidability of second order multiplicative linear logic
• The undecidability of second order linear logic without exponentials

Cited in

(3)

• A PSPACE-complete fragment of second-order linear logic
• scientific article; zbMATH DE number 1163987 (Why is no real title available?)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic

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