scientific article; zbMATH DE number 1499082

MaRDI QIDQ4501135zbMATH OpenFDO

Authors Andrea Asperti, Giovanna M. Dore

Publication date 3 September 2000

Mathematics Subject Classification ID

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

Recommendations

• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• A formal model for a linear time correctness condition of proof nets of multiplicative linear logic
• Subnets of proof-nets in multiplicative linear logic with MIX
• A new correctness criterion for multiplicative non-commutative proof nets
• Planar and braided proof-nets for multiplicative linear logic with mix
• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• A language for multiplicative-additive linear logic
• Constructing fully complete models for multiplicative linear logic
• Computer Science Logic

Cited in

(9)

• Connection methods in linear logic and proof nets construction
• Softness of MALL proof-structures and a correctness criterion with Mix
• On the dependencies of logical rules
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• A semantic characterisation of the correctness of a proof net
• Subnets of proof-nets in multiplicative linear logic with MIX
• A new correctness criterion for MLL proof nets
• Causal dependencies in multiplicative linear logic with MIX
• scientific article; zbMATH DE number 7199586 (Why is no real title available?)

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