@article{RoySadr2,
  title = "Cut-free Sequent Calculi for Logics with Adjoint Modalities",
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  year = "2009",
  journal = "Bulletin of Symbolic Logic",
  number = "1",
  pages = "128",
  volume = "15",
}