TY  - RPRT
TI  - Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
AU  - Mehrnoosh Sadrzadeh
AU  - Roy Dyckhoff
PY  - 2009
UR  - https://arxiv.org/abs/0903.2448
ID  - 0903.2448
ER  -