adopting a humanistic, communicative-based approach to semiotics, this paper aims at investigating the status of linguistic signs and their interaction with other communicative signs. the status of linguistic sign is first studied in semiotic theories spanning ancient, middle ages and modern era. based on the commonalities envisaged in four contemporary semiotic theories done in the spirit of t...

This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed framework, by allowing session processes to depend on functions and vice-versa, enables us to specify and statically verify protocols where the choice of the next co...

based on how formal a conversation is, how much familiar the speaker and the listeners are with each other and how distant is the speaker's social status from the listener's one, the speaker uses certain forms of language known as styles of language. linguistic styles are different from language varieties. selection of the styles depends on definite social situations and the kind of r...

Evidentiality is a linguistic category that specifies the source of information conveyed in an utterance (Aikhenvald and Dixon 2003), such as direct observation, inference, or hearsay. According to Aikhenvald’s (2004) cross-linguistic study of over 500 languages, a typologically common pattern is to specify distinct sources of information with distinct morphemes, such as Quechua’s three evident...

â arabic seems to have borrowed the word amen ( אö¸×žöµ×Ÿ ) originally from hebrew and used it as a religious term in islamic discourse the same as jewish. although it has a clear meaning in hebrew, there is no explicit meaning for it in arabic dictionaries and sources. at the same time, some hebrew hypotheses about this word have had an effect on the comprehension of the arab philologists and...