On the Jordan-Hölder decomposition of proof nets

DOI10.1007/S001530050083MaRDI QIDQ1386676zbMATH OpenOpenAlexFDO

Authors Quintijn Puite, Harold Schellinx

Publication date 7 September 1998

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050083

zbMATH Keywords

homological correctnessJordan-Hölder decompositionproof nets

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07) Metamathematics of constructive systems (03F50)

Recommendations

• Homology of proof-nets
• scientific article; zbMATH DE number 1231528
• Minimality of the correctness criterion for multiplicative proof nets
• Coherent models of proof nets
• Handsome proof-nets: Perfect matchings and cographs

Cited in

(1)

• Homology of proof-nets

This page was built for publication: On the Jordan-Hölder decomposition of proof nets

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