Connection-based proof construction in non-commutative logic

MaRDI QIDQ3408154zbMATH OpenFDO

Authors Didier Galmiche, J. M. Notin

Publication date 24 February 2010

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Non-commutative logic. III: Focusing proofs.
• Connection methods in linear logic and proof nets construction
• Non-commutative proof construction: a constraint-based approach
• Connections in nonclassical logics
• A Non-clausal Connection Calculus
• scientific article; zbMATH DE number 6829288 (Why is no real title available?)
• scientific article; zbMATH DE number 786497 (Why is no real title available?)
• scientific article; zbMATH DE number 1405459 (Why is no real title available?)

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)