scientific article; zbMATH DE number 1222110

MaRDI QIDQ4217606zbMATHFDO

Authors Satoshi Matsuoka

Publication date 16 March 2000

zbMATH Keywords

algorithmpolynomial timecorrectness criterionproof-netsproof-searchboolean weightsmultiplicative and additive linear logicproof-structure

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Proof nets for unit-free multiplicative-additive linear logic
• A linear algorithm for MLL proof net correctness and sequentialization
• A new correctness criterion for MLL proof nets
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Cited in

(10)

• An even closer integration of linear arithmetic into inductive theorem proving
• Linear strategy for Boolean ring based theorem proving
• scientific article; zbMATH DE number 1405458 (Why is no real title available?)
• scientific article; zbMATH DE number 1104445 (Why is no real title available?)
• Softness of MALL proof-structures and a correctness criterion with Mix
• The additive multiboxes
• Proof nets for unit-free multiplicative-additive linear logic
• A new correctness criterion for MLL proof nets
• A linear algorithm for MLL proof net correctness and sequentialization
• New uses of linear arithmetic in automated theorem proving by induction

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 Q4217606)