A modal view of linear logic

DOI10.2307/2275915zbMath0814.03038OpenAlexW2045549616MaRDI QIDQ4314678

Simone Martini, Andrea Masini

Publication date: 13 June 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275915

zbMATH Keywords

linear logiccut-eliminationdecision problemcontraction rulecontraction-free sequent calculuscut-free linear proofsexponential connectivesGrishin-Ono translationpropositional modal logic S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items (3)

A linear logic framework for multimodal logics ⋮ Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A modal view of linear logic