Linear logic with idempotent exponential modalities: a note

2014/07/22 by Slavnov, Sergey
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1407.5988

Abstract

In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete relational model for this calculus.

Related

• Sequent calculi for a unity of logic
• A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
• An infinitary model of linear logic
• Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
• Extended Lambek calculi and first-order linear logic