scientific article; zbMATH DE number 786496

MaRDI QIDQ4842977zbMATH OpenFDO

Authors

Publication date 16 August 1995

zbMATH Keywords

multiplicative linear logic without propositional constantssubnets of proof-nets

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
• scientific article; zbMATH DE number 937366

Cited in

(11)

• Natural deduction and coherence for weakly distributive categories
• Permutability of proofs in intuitionistic sequent calculi
• Sequentialization for n-graphs via sub-n-graphs
• Subnets of proof-nets in multiplicative linear logic with MIX
• Jump from parallel to sequential proofs: exponentials
• scientific article; zbMATH DE number 7359421 (Why is no real title available?)
• scientific article; zbMATH DE number 7204450 (Why is no real title available?)
• Deep inference and expansion trees for second-order multiplicative linear logic
• Extended Lambek calculi and first-order linear logic
• scientific article; zbMATH DE number 7324256 (Why is no real title available?)
• Proof nets sequentialisation in multiplicative 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 Q4842977)