scientific article; zbMATH DE number 1324433

MaRDI QIDQ4255504zbMATH OpenFDO

Authors Didier Galmiche, Guy Perrier

Publication date 16 August 1999

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1678379
• scientific article; zbMATH DE number 1231698
• Connection methods in linear logic and proof nets construction
• Publication:4896506
• A linear algorithm for MLL proof net correctness and sequentialization

Cited in

(12)

• The sum-product algorithm for quantitative multiplicative linear logic
• Fast verification of MLL proof nets via IMLL
• Connection methods in linear logic and proof nets construction
• Proof-search in type-theoretic languages: An introduction
• Proof-search and proof nets in mixed linear logic
• scientific article; zbMATH DE number 6938205 (Why is no real title available?)
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• scientific article; zbMATH DE number 786496 (Why is no real title available?)
• On proof normalization in linear logic
• scientific article; zbMATH DE number 1950271 (Why is no real title available?)
• Connection-based proof construction in linear logic
• 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 Q4255504)