Automated deduction in additive and multiplicative linear logic

DOI10.1007/BFB0023870MaRDI QIDQ2757832zbMATH OpenFDO

Authors Didier Galmiche, Guy Perrier

Publication date 4 December 2001

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

Full work available at URL https://doi.org/10.1007/BFB0023870

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A procedure for automatic proof nets construction
• scientific article; zbMATH DE number 1231698
• Connection methods in linear logic and proof nets construction
• Proof strategies in linear logic
• Case study: Additive linear logic and lattices

Cited in

(13)

• Automated deduction with associative-commutative operators
• Proof strategies in linear logic
• On proof normalization in linear logic
• Connection methods in linear logic and proof nets construction
• From multiple sequent for additive linear logic to decision procedures for free lattices
• Automated deduction for many-valued logics
• A language for multiplicative-additive linear logic
• Relational semantics for a fragment of linear logic
• scientific article; zbMATH DE number 1231698 (Why is no real title available?)
• A procedure for automatic proof nets construction
• Case study: Additive linear logic and lattices
• Computer Science Logic
• The sum-product algorithm for quantitative multiplicative linear logic

This page was built for publication: Automated deduction in additive and multiplicative linear logic

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