A modal view of linear logic

DOI10.2307/2275915MaRDI QIDQ4314678zbMATH OpenOpenAlexFDO

Authors 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

contraction rulecontraction-free sequent calculuscut-eliminationcut-free linear proofsdecision problemexponential connectivesGrishin-Ono translationlinear logicpropositional modal logic S4

Mathematics Subject Classification ID

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

Recommendations

• A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
• The Gödel-Tarski translations of intuitionistic propositional formulas
• From propositional to linear logic: An introduction. Decoration, simulation, normalization
• Modal translations in substructural logics
• Undefinability of propositional quantifiers in the modal system S4
• scientific article; zbMATH DE number 1612552
• scientific article; zbMATH DE number 1231474
• An extended framework for specifying and reasoning about proof systems
• A proof-theoretic study of the correspondence of classical logic and modal logic
• scientific article; zbMATH DE number 1303434

Cited in

(16)

• A perspective on modal sequent logic
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Models of linear logic
• Linear modalities in mininal logic
• An Infinitary Model of Linear Logic
• Saturated formulas in full linear logic
• scientific article; zbMATH DE number 1735929 (Why is no real title available?)
• Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study
• scientific article; zbMATH DE number 2152689 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
• scientific article; zbMATH DE number 970624 (Why is no real title available?)
• A Note on Linear Kripke Models
• scientific article; zbMATH DE number 2236613 (Why is no real title available?)
• A linear logic framework for multimodal logics
• On the cut-elimination of the modal -calculus: linear logic to the rescue

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4314678)