Connection-based proof construction in non-commutative logic

zbMATH Open1273.03165MaRDI QIDQ3408154FDOQ3408154

Authors: Didier Galmiche, J. M. Notin 

Publication date: 24 February 2010

Recommendations

• Non-commutative logic. I: The multiplicative fragment
• scientific article; zbMATH DE number 1841814
• Non-commutative proof construction: a constraint-based approach
• Non-commutative logic. III: Focusing proofs.
• scientific article; zbMATH DE number 1231525

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (7)

• Title not available (Why is that?)
• Non-commutative proof construction: a constraint-based approach
• Non-commutative logic. III: Focusing proofs.
• Connections in nonclassical logics
• A Non-clausal Connection Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Connection-based proof construction in non-commutative logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3408154)