scientific article; zbMATH DE number 786496

MaRDI QIDQ4842977zbMATH OpenFDO

Authors

Publication date 16 August 1995

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)

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

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
• scientific article; zbMATH DE number 7359421 (Why is no real title available?)
• scientific article; zbMATH DE number 7324256 (Why is no real title available?)
• Permutability of proofs in intuitionistic sequent calculi
• scientific article; zbMATH DE number 7204450 (Why is no real title available?)
• 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)