scientific article; zbMATH DE number 1324433

zbMATH Open0920.03015MaRDI QIDQ4255504FDOQ4255504

Authors: Didier Galmiche, Guy Perrier 

Publication date: 16 August 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• Fast verification of MLL proof nets via IMLL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• On proof normalization in linear logic
• The sum-product algorithm for quantitative multiplicative linear logic
• Title not available (Why is that?)
• Connection-based proof construction in linear logic
• Title not available (Why is that?)
• 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

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)