On the dependencies of logical rules

DOI10.1007/978-3-662-46678-0_28MaRDI QIDQ2949457zbMATH OpenOpenAlexFDO

Authors Marc Bagnol, Amina Doumane, Alexis Saurin

Publication date 1 October 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46678-0_28

zbMATH Keywords

contractibilitycorrection criteriondependencylinear logicMLLproof nets

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Causal dependencies in multiplicative linear logic with MIX
• scientific article; zbMATH DE number 1499082
• A new correctness criterion for MLL proof nets
• Minimality of the correctness criterion for multiplicative proof nets
• A new correctness criterion for multiplicative non-commutative proof nets

Cited in

(8)

• On reasoning expressions and the nature of deduction rules
• On measuring the specificity of if-then rules
• scientific article; zbMATH DE number 3978447 (Why is no real title available?)
• A new correctness criterion for MLL proof nets
• scientific article; zbMATH DE number 2134917 (Why is no real title available?)
• scientific article; zbMATH DE number 810104 (Why is no real title available?)
• scientific article; zbMATH DE number 7359421 (Why is no real title available?)
• Proof nets for multiplicative cyclic linear logic and Lambek calculus

This page was built for publication: On the dependencies of logical rules

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