scientific article; zbMATH DE number 786496

zbMATH Open0826.03025MaRDI QIDQ4842977FDOQ4842977

Authors:

Publication date: 16 August 1995

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

Recommendations

• Subnets of proof-nets in multiplicative linear logic with MIX
• scientific article; zbMATH DE number 1324433
• Proof nets for unit-free multiplicative-additive linear logic
• Sequentialization for \(n\)-graphs via sub-\(n\)-graphs
• Publication:4896506

zbMATH Keywords

subnets of proof-netsmultiplicative linear logic without propositional constants

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Cited In (10)

• Deep inference and expansion trees for second-order multiplicative linear logic
• Jump from parallel to sequential proofs: exponentials
• Sequentialization for \(n\)-graphs via sub-\(n\)-graphs
• Proof nets sequentialisation in multiplicative linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Permutability of proofs in intuitionistic sequent calculi
• Title not available (Why is that?)
• Extended Lambek calculi and first-order linear logic
• Natural deduction and coherence for weakly distributive categories

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