scientific article; zbMATH DE number 786493

MaRDI QIDQ4842974zbMATH OpenFDO

Authors Simone Martini, Andrea Masini

Publication date 22 April 1996

zbMATH Keywords

2-sequentsexponentialsfragments of intuitionistic multiplicative linear logicnormalization theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• An analysis of (linear) exponentials based on extended sequents
• A modal view of linear logic
• Natural deduction for intuitionistic linear logic
• Experiments in linear natural deduction
• scientific article; zbMATH DE number 517072

Cited in

(13)

• On the interpretation of the exponent in the ``Near-miss-to-Weber's law
• Coherence for sharing proof-nets
• Phase semantics for light linear logic
• A proof-theoretic investigation of a logic of positions
• Proof nets, garbage, and computations
• The decidability of the intensional fragment of classical linear logic
• A By-Level Analysis of Multiplicative Exponential Linear Logic
• Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
• A refined factorization of the exponential law
• Coherence for sharing proof nets
• Parsing MELL proof nets
• Cut Elimination for Extended Sequent Calculi
• A natural deduction calculus for \textbf{S4.2}

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