Minimality of the correctness criterion for multiplicative proof nets

DOI10.1017/S096012959800262XzbMATH Open0916.68096WikidataQ127516546 ScholiaQ127516546MaRDI QIDQ4236199FDOQ4236199

Authors: Denis Béchet 

Publication date: 22 March 1999

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

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

zbMATH Keywords

linear logicproof-net

Mathematics Subject Classification ID

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

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A new correctness criterion for multiplicative non-commutative proof nets
• On the dependencies of logical rules
• Online Enumeration of All Minimal Inductive Validity Cores
• Parsing pregroup grammars and Lambek calculus using partial composition
• A new correctness criterion for MLL proof nets
• Title not available (Why is that?)
• Homology of proof-nets
• Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• Rewritings for polarized multiplicative and exponential proof structures

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)