scientific article; zbMATH DE number 1499088

MaRDI QIDQ4501142zbMATHFDO

Authors Didier Galmiche, Guy Perrier

Publication date 3 September 2000

Mathematics Subject Classification ID

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

Recommendations

• Proof strategies in linear logic
• scientific article; zbMATH DE number 1324433
• scientific article; zbMATH DE number 1231522
• On proof normalization in linear logic

Cited in

(11)

• Efficient resource management for linear logic proof search
• Connection methods in linear logic and proof nets construction
• Proof-search in type-theoretic languages: An introduction
• Linear strategy for Boolean ring based theorem proving
• A PSPACE-complete fragment of second-order linear logic
• scientific article; zbMATH DE number 1405458 (Why is no real title available?)
• Proof-search and proof nets in mixed linear logic
• Proof strategies in linear logic
• Design Strategies for ARX with Provable Bounds: Sparx and LAX
• The ILLTP library for intuitionistic linear logic
• On structuring proof search for first order linear logic

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