scientific article; zbMATH DE number 1114337

MaRDI QIDQ4376053zbMATH OpenFDO

Authors Philippe de Groote

Publication date 17 May 1998

zbMATH Keywords

correctness criterionintuitionistic fragments of multiplicative linear logicintuitionistic proof-netsLambek calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Recommendations

• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• A new correctness criterion for multiplicative non-commutative proof nets
• A new correctness criterion for cyclic proof nets
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Cited in

(6)

• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
• Minimality of the correctness criterion for multiplicative proof nets
• On intuitionistic proof nets with additional rewrite rules and their approximations
• scientific article; zbMATH DE number 5033883 (Why is no real title available?)
• Intuitionistic proofs without syntax

This page was built for publication:

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