Every discourse, written or oral, is the conveyer of some hidden agenda of the producer, most importantly in such genres of speech as journalism, politics, propaganda, and advertisements. Given the role of translation in discourse, a difference exists between when the translator carries the ideological values of the elite in contrast with one with patriotic preferences. In this study a comparis...

Families of types are fundamental objects in Martin-Löf type theory. When extending the notion of setoid (type with an equivalence relation) to families of setoids, a choice between proof-relevant or proof-irrelevant indexing appears. It is shown that a family of types may be canonically extended to a proof-relevant family of setoids via the identity types, but that such a family is in general ...

Martin-Löf’s type theory exists in two forms, differing in the formalisation of the identity types. In [15] Per Martin-Löf formulated his type theory with the extensional rules for the identity types, identifying judgmental and propositional equality. This rendered type-checking and well-formedness of formulas undecidable. For this reason (among others), he latter formulated intensional rules f...

From long ago, square has been considered as a space for performing area of cities, and it has been a factor determining the identity of cities through its design and structures. However, with the growth of cities and arrival of modernity management challenges are facing cities. Accordingly, cities have gradually changed into a place for predicting different types of technological, conceptual...

This study examined the role of team identity on job satisfaction and job performance regarding the mediating role of the organizational identity. This paper is a correlation type using descriptive methods with applied goals. Our statistical population included all 420 male and female staffs of the telecommunication department in Eastern Azerbaijan province, Iran in 2014.Using stratified random...

In this paper, we discuss the impact of user’s profiles on identity representations in web 2.0. We introduce a classification of 3 different types of identities: declarative identity, acting identity and calculated identity. This typology summarizes the theoretical model of “self-representation” in interactive devices, originally proposed in [Georges 2007]. “Declarative identity” (1) is constit...

Background: One of the effective factors on increasing the quality of education of children with special needs is the empathetic behaviors of educators. Accordingly, the present study aimed to investigate the mediating role of psychological gap in the relationship between moral identity and spiritual identity with empathy. Method: The present study is a descriptive-correlational study in which...