The partial real line is an extension of the Euclidean real line with partial real numbers, which has been used to model exact real number computation in the programming language Real PCF. We introduce induction principles and recursion schemes for the partial unit interval, which allow us to verify that Real PCF programs meet their specification. They resemble the so-called Peano axioms for na...

this essay examines the practice of free indirect discourse (fid), as a narrative-stylistic device, in hossein sanapour’s lips on a blade (2010). after a brief overview of the novel ’s narrative structure, the four modes of representing characters’ discourses in narrative fiction are introduced and exemplified. among these modes, fid is the most important since it is the only one which leads to...

he main objective of the advertising discourse is to encourage its viewer or reader to buy goods. this dialogue contains several inductive functions, including inductive functions of action and tension. the function of the induced action is an action-induced origin, whereas the function of the inductive tension is induced by the action originated. thus, tension-induced functions can be claimed ...

Models of discourse and narration elaborated within the classical compositional framework have been characterized as bottom-up models, according to which discourse analysis proceeds incrementally, from phrase and sentence local meaning to discourse global meaning. In this paper we will argue against these models. Assuming as a case study the issue of discourse coherence, we suggest that the ass...

This study examined what discourse markers (DM) and their characteristics are in English. It described the range of uses of English discourse markers in conversations included in Interchange books. It also determined the most frequently used discourse markers. It was found that "oh" and "well" were the most frequently used discourse markers in the conversations, and then the functions of them w...

The purpose of this article is to present a study of metaphorical expressions in the Swedish forest-discourse, and thereby, to demonstrate a special function of metaphorical constructions in discourse, that is, to indicate contexts relevant to ongoing discourse. Traditionally, theorizing about metaphorical expressions has lacked considerations of discourse processes and temporary contexts, and,...