TY  - RPRT
TI  - Negative Translations for Affine and Lukasiewicz Logic
AU  - Rob Arthan
AU  - Paulo Oliva
PY  - 2019
UR  - https://arxiv.org/abs/1912.00012
ID  - 1912.00012
ER  -