Semantics of weakening and contraction (Q1337357)

Some possibilities of partial restoring of weakening and contraction in linear logic are studied. The well-known shriek modality \(!\) restores in an annotated form both weakening and contraction. Two modalities separating these tasks are introduced in the paper: \(!_ w\) for weakening and \(!_ c\) for contraction. Two logics lying between linear logic and intuitionistic logic are considered: in the affine (or weakening) logic one always has weakening and \(!_ c\) for contraction, whereas in the relevant (or contraction) logic one always has contraction and \(!_ w\) for weakening. In other words, weakening tensors are ``cartesian products without diagonals'' and contraction tensors are ``cartesian products without projections''. Semantics of these logics is obtained from special kinds of monads of Anders Kock. The models where \(!\) of linear logic is retrieval as \(!= !_ w !_ c\), and also the models with \(!= !_ c !_ w\), are constructed. Also it is shown that in the category of complete lattices, \(!= !_ w !_ c= !_ c !_ w\) holds.