scientific article; zbMATH DE number 1114345

MaRDI QIDQ4376063zbMATH OpenFDO

Authors Jean-Yves Marion

Publication date 1 June 1998

zbMATH Keywords

additive contextsadditive fragment of linear logicdecision algorithmmultiplicative contextssequent calculus with multiple antecedents and succedents

Mathematics Subject Classification ID

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

Recommendations

• From multiple sequent for additive linear logic to decision procedures for free lattices
• Decision problems for propositional linear logic
• scientific article; zbMATH DE number 1948160
• scientific article; zbMATH DE number 1678379

Cited in

(2)

• From multiple sequent for additive linear logic to decision procedures for free lattices
• scientific article; zbMATH DE number 1678379 (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 Q4376063)