@misc{indiciae36706a2d1cdc,
  title = {Proof Theory for Positive Logic with Weak Negation},
  author = {Marta Bílková and Almudena Colacito},
  year = {2019},
  url = {https://arxiv.org/abs/1907.05411},
  note = {Source identifier: 1907.05411}
}