scientific article; zbMATH DE number 1405459

MaRDI QIDQ4938434zbMATH OpenFDO

Authors Jean-Marc Andreoli, Roberto Maieli

Publication date 7 December 2001

zbMATH Keywords

focalization propertyfocusinglinear logicnoncommutative logicproof-nets

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Non-commutative logic. III: Focusing proofs.
• From focalization of logic to the logic of focalization
• Non-commutative logic. I: The multiplicative fragment
• Connection-based proof construction in non-commutative logic
• scientific article; zbMATH DE number 937366

Cited in

(5)

• Non-commutative logic. III: Focusing proofs.
• Non-commutative proof construction: a constraint-based approach
• On the meaning of focalization
• scientific article; zbMATH DE number 786497 (Why is no real title available?)
• A proof of the focusing theorem via MALL proof nets

Describes a project that uses

Uses Software

• CAT

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