scientific article; zbMATH DE number 1231531

MaRDI QIDQ4222846zbMATH OpenFDO

Authors Marco Pedicini

Publication date 14 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#pedicini

zbMATH Keywords

bound for the cut-elimination procedurefragments of calculilinear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1231523
• scientific article; zbMATH DE number 1231527
• Some Syntactical Observations on Linear Logic
• The logic of linear propositions
• The semantics and proof theory of linear logic
• On the linear Lindenbaum algebra of Basic Propositional Logic
• scientific article; zbMATH DE number 1292302
• scientific article; zbMATH DE number 785051
• On Characterizing Elementary Logic
• Some semantical aspects of linear logic

Cited in

(6)

• Linear logic and elementary time
• Elementary complexity and geometry of interaction
• Logic and Exceptions: A Few Remarks
• An analysis of (linear) exponentials based on extended sequents
• scientific article; zbMATH DE number 1231523 (Why is no real title available?)
• Preface

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