Linear logic with idempotent exponential modalities: a note
Logic in Computer Science
2014-07-23 v1 Logic
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.
Cite
@article{arxiv.1407.5988,
title = {Linear logic with idempotent exponential modalities: a note},
author = {Sergey Slavnov},
journal= {arXiv preprint arXiv:1407.5988},
year = {2014}
}