Case study: Additive linear logic and lattices

DOI10.1007/3-540-63045-7_24MaRDI QIDQ4376063zbMATH OpenFDO

Authors Jean-Yves Marion

Publication date 1 June 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63045-7_24

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
• Proofnets and context semantics for the additives
• Automated deduction in additive and multiplicative linear logic

Cited in

(2)

• From multiple sequent for additive linear logic to decision procedures for free lattices
• Automated deduction in additive and multiplicative linear logic

This page was built for publication: Case study: Additive linear logic and lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376063)