@misc{indiciae233640062ed4,
  title = {Negative Translations for Affine and Lukasiewicz Logic},
  author = {Rob Arthan and Paulo Oliva},
  year = {2019},
  url = {https://arxiv.org/abs/1912.00012},
  note = {Source identifier: 1912.00012}
}