Minimality of the correctness criterion for multiplicative proof nets

DOI10.1017/S096012959800262XMaRDI QIDQ4236199zbMATH OpenWikidataFDO

Authors Denis Béchet

Publication date 22 March 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S096012959800262X

zbMATH Keywords

linear logicproof-net

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• A new correctness criterion for multiplicative non-commutative proof nets
• scientific article; zbMATH DE number 1114337
• A new correctness criterion for MLL proof nets
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• Proof nets for multiplicative cyclic linear logic and Lambek calculus
• A new correctness criterion for cyclic proof nets
• Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
• A formal model for a linear time correctness condition of proof nets of multiplicative linear logic
• A decomposition method for CNF minimality proofs

Cited in

(16)

• A new correctness criterion for cyclic proof nets
• Homology of proof-nets
• On the Jordan-Hölder decomposition of proof nets
• A new correctness criterion for multiplicative non-commutative proof nets
• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• Parsing pregroup grammars and Lambek calculus using partial composition
• Rewritings for polarized multiplicative and exponential proof structures
• On the dependencies of logical rules
• Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
• A semantic characterisation of the correctness of a proof net
• A new correctness criterion for MLL proof nets
• scientific article; zbMATH DE number 786498 (Why is no real title available?)
• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
• Online Enumeration of All Minimal Inductive Validity Cores
• Linear realisability over nets: multiplicatives

This page was built for publication: Minimality of the correctness criterion for multiplicative proof nets

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