extended abstract 1. introduction the present study aims to investigate the potentials of two significant translation paradigms in children’s literature: 1) skopos paradigm; and 2) equivalence paradigm. the former seeks equivalence in the source text while the latter seeks it in the target text. to this end, three translations of “the little prince” by mohammad ghazi, ahmad shamlou, and abolhas...

A similarity-based fuzzy logic was proposed by M.S.Ying in [10] and successively investigated in [2]. The basic idea is that we can make ”approximate” reasoning by allowing an inference rule to work also in the case the antecedent clauses match only approximately previously proven formulas. Some tentative to applying such an idea to logic programming was proposed in [1], [6] and [7]. In this no...

A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are describ...

The interest of investigating combinations of logics has a philosophical side, a purely logic-theoretical side and promising applicational interests. This paper concentrates on the logic-theoretical side and studies some general methods for combination and decomposition, taking into account that the general idea of combining logics requires methods not only for building new logics, but also for...

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formulæ and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a cu...

setting standards for translation assessment has usually been problematic for authorities, theoreticians, and most commonly instructors. it is often difficult to tell the difference between translation evaluation, criticism, and assessment due to hardships of bridging the gap between theory and practice. the aim of this study was to create a rubric against which translations could be assessed. ...

The present study examines the effect of gender ideology of the translators on two Persian translations of Emily Bronte’s Wuthering Heights. The findings reveal that although both translations have many similar features in respect to some maxims of translation, in both of them gender ideology of the translator is a key figure in translating the gender related items/parts of the source text, as ...

In this paper we describe new results of research on geometrical properties of complex control systems, the so-called Linguistic Geometry. This research includes the development of syntactic tools for knowledge representation and reasoning about large-scale hierarchical complex systems. It relies on the formalization of search heuristics of high-skilled human experts that have resulted in the d...

(a) He adds that in the examination of these accessory and circumscribed lesions he has found in the persistent hemiplegia, atrophy of one hemisphere, central encephalitis, softening ?cerebral haemorrhage being very rare in consequence of the thickening of the walls of the vessels. (b) In epileptiform convulsions there may be found active congestion of the membranes, accompanied with capillary ...

This paper introduces the first minimal solvers that jointly solve for affine-rectification and radial lens distortion from coplanar repeated patterns. Even with imagery from moderately distorted lenses, plane rectification using the pinhole camera model is inaccurate or invalid. The proposed solvers incorporate lens distortion into the camera model and extend accurate rectification to wide-ang...