scientific article; zbMATH DE number 1231520

MaRDI QIDQ4222835zbMATH OpenFDO

Authors Max Kanovitch

Publication date 13 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#kanovitch

zbMATH Keywords

decidabilityencoding of machine computations in minimal fragments of second-order noncommutative linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• The undecidability of second order linear logic without exponentials
• The undecidability of second order multiplicative linear logic
• scientific article; zbMATH DE number 1114339

Cited in

(1)

• scientific article; zbMATH DE number 5252383 (Why is no real title available?)

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