Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translations or double-negation translations. Among those, the most commonly cited are translations due to Kolmogorov, Gödel, Gentzen, Kuroda and Krivine (in chronological order). In this paper we propose a fra...

This study was motivated by the researchers’ goal to unfold the quality of the English translations of Persian tourism industry texts and discover the most frequent error patterns the Iranian non-native translators have committed in such texts. Thus, the following research questions were addressed: 1) Are the English versions of Persian tourist guidebooks and multimedia compact discs provided b...

1. introduction since the early hegira centuries up to the contemporary era “one thousand and one nights” stories have been translated into arabic. during this period we have been confronted with a great many of the translators doing translation jobs from various source languages into different target languages, thus we are bearing witness to the imposition of variegated tastes and styles into ...

Language resources, such as multilingual lexica and multilingual electronic dictionaries, contain collections of lexical entries in several languages. Having access to the corresponding explicit or implicit translation relations between such entries might be of great interest for many NLP-based applications. By using Semantic Web-based techniques, translations can be available on the Web to be ...