"Negative Translations for Affine and Lukasiewicz Logic."

Rob Arthan, Paulo Oliva (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics