scientific article; zbMATH DE number 786493

zbMATH Open0835.03020MaRDI QIDQ4842974FDOQ4842974

Authors: Simone Martini, Andrea Masini 

Publication date: 22 April 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

exponentialsnormalization theorem2-sequentsfragments of intuitionistic multiplicative linear logic

Mathematics Subject Classification ID

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

Cited In (13)

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

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)