In this paper we shall meet the application of Scott domains to nominalisation and explain its problem of predication. We claim that it is not possible to nd a solution to such a problem within semantic domains without logic. Frege structures are more conclusive than a solution to domain equations and can be used as models for nominalisation. Hence we develop a type theory based on Frege struct...

My thesis consists of three self-contained but interconnected papers. In the first one, 'Word and Objects', I assume that it is possible to quantify over absolutely everything, and show that certain English sentences containing collective predicates resist paraphrase in first-order languages and even in first-order languages enriched with plural quantifiers. To capture such sentences I develop ...

Procedural abstraction, the replacement of several identical code sequences with calls to a single representative function, is a powerful tool in producing compact executables. We explore how predicated instructions can be used to allow procedural abstraction of non-identical basic blocks. A predicated instruction is one that the processor executes if a condition (specified in the opcode) is tr...

Traditional predicated execution uses two techniques: top predication – in which only the head of the dependence chain is predicated, and bottom predication – in which only the tail of the dependence chain is predicated. Top predication prevents speculative execution, thus delivering minimum performance at minimum energy cost, while bottom predication allows full speculation of the dependence c...

After having rejected the so-called Anteriority Theories of the Perfect tense which are based on the Reichenbachian E-R,S and E-R-S schemes where E-R is to be taken as expressing the earlier than relation E<R, the author argues in favour of a tense theory in which the notion of the Extended Now (EN) plays a dominant role. She also rejects theories in which the Perfect is analyzed syncategoremat...

Abstract This paper presents a unified outlook on the syntax of constructions featuring reflexive clitic se , with particular emphasis uniform morphosyntax Hungarian element -ik treated as an exponent both in verbal domain and nominal (in ordinal numeral constructions). The analysis is couched predication proposed Den Dikken (2006) represented subject reverse predication.

In these notes I set out quite briefly an interpretation of ‘predication‘ within the perspective offered by functional linguistics and, more particularly, within the framework known as systemic-functional, or socio-semiotic, linguistics (cf. Halliday, 1978, 1994). I will argue that the phenomena that have come to be grouped under the term predication can be given a reasonably concise and system...

Osteoporosis is a growing health concern worldwide and its complications are as prevalent as other common chronic disease complications such as hypertension and diabetes. In this review, we will discuss the role of gender in osteoporosis, especially related to peak bone mass and maturation, rate of annual bone loss, screening, prevalence of osteoporosis and its related fractures, mortality afte...