scientific article; zbMATH DE number 786497

MaRDI QIDQ4842978zbMATH OpenFDO

Authors V. Michele Abrusci

Publication date 18 December 1995

zbMATH Keywords

multiplicative noncommutative linear logicproof nets

Mathematics Subject Classification ID

Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1231698
• Proof Nets for Lambek Calculus
• A new correctness criterion for multiplicative non-commutative proof nets
• Connection-based proof construction in non-commutative logic
• scientific article; zbMATH DE number 786499
• Characterizing propositional proofs as noncommutative formulas
• Non-deterministic Boolean Proof Nets
• Non-commutative proof construction: a constraint-based approach
• scientific article; zbMATH DE number 1405459
• Homology of proof-nets

Cited in

(6)

• Handsome proof-nets: Perfect matchings and cographs
• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Connection methods in linear logic and proof nets construction
• scientific article; zbMATH DE number 6829288 (Why is no real title available?)
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)
• Non-deterministic Boolean Proof Nets

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