The Analysis and Synthesis of Logic Translation.
Tzu-Keng Fu, Oliver Kutz · The Florida AI Research Society · 2012
Jean-Yves Beziau (Classical Negation can be expressed by One of its Halves) (Beziau 1999) has given an example of a phenomenon that people consider as translation paradox. We elaborate on Beziau’s case, which concerns classical negation to the half of classical negation, as well as giving some relative background to this discussion. The translation in question turns out, not to deliver the new results but instead in the interests of illustrating the development of logic translation that widely discussed in various modern applications to computer science.