Linear logic with idempotent exponential modalities: a note
From MaRDI portal
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.
This page was built for publication: Linear logic with idempotent exponential modalities: a note
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6253368)
