AAAI Publications, Twenty-Fifth International FLAIRS Conference

Font Size: 
The Analysis and Synthesis of Logic Translation
Tzu-Keng Fu, Oliver Kutz

Last modified: 2012-05-16


Jean-Yves Béziau (Classical Negation can be expressed by One of its Halves) (Béziau 1999) has given an example of a phenomenon that people consider as translation paradox. We elaborate on Béziau’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.

Full Text: PDF