Linear logic with idempotent exponential modalities: a note

TL;DR

This paper explores a variant of linear logic featuring idempotent exponential modalities, introducing a sequent calculus and a relational model to understand its semantics.

Contribution

It presents a new variant of linear logic with idempotent exponentials, along with a sequent calculus and a concrete relational semantics.

Findings

Proposes a sequent calculus for linear logic with idempotent exponentials.

Provides a concrete relational model for the proposed calculus.

Discusses the semantics of the new logic variant.

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.