On the Jordan-Hölder decomposition of proof nets

DOI10.1007/S001530050083zbMath0894.03033OpenAlexW2084288430MaRDI QIDQ1386676

Harold Schellinx, Quintijn Puite

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

proof netshomological correctnessJordan-Hölder decomposition

Mathematics Subject Classification ID

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

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