The goal of this paper is to motivate and define a strictly incremental semantics for dynamic predicate logic (Groenendijk and Stokhof 1991). In particular, we will extend the incremental semantics for dynamic propositional logic introduced in Vermeulen (1994) to first-order predicate logic (borrowing central notions from Visser 2002). We call the resulting logical system Incremental Dynamic Pr...

Introduction / objectives Viral culture results (VCT) correlates well with the intensity of clinical services but they are not available real time. Rapid viral tests results (RVT) are available on the same day and can be used for real time predictions. This study reports the use of RVT for such prediction for a period of 145 weeks in Hong Kong (HK). Two acute hospitals successfully use them to ...

The aim of this study was to detect and identify meat species (beef, lamb, pork, chicken, donkey, and horse) in Kebab as a Halal meat-based food sold in on-road-restaurants of North Khorasan province (Iran) using TaqMan real-time polymerase chain reaction (PCR). Raw Kebab samples (150 samples) were obtained from on-road restaurants. The samples were prepared, DNA was extracted and TaqMan real-t...

UNLABELLED Donkey milk is an interesting commercial product for its nutritional values, which make it the most suitable mammalian milk for human consumption, and for the bioactivity associated with it and derivative products. To further mine the characterization of donkey milk, an extensive peptidomic study was performed. Two peptide purification strategies were compared to remove native protei...

KELLERMAN, T. S., MARASAS, \Y/. F. 0., PIENAAR, J. G. & NAUDE, T. \Y/. A mycotoxicosis of Equidae caused by Fusarium moniliforme Sheldon. A preliminary communication. Onderstepoorl j. vet. Res. 39(4), 205-208 (1972). Fusarium moniliforme Sheldon was isolated from maize suspected of causing field cases of leucoenccphalomalacia in horses in South Africa. It was cultured on autoclaved maize and do...

In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk & Stokhof [1991: 39{100] with assignment and with generalized quanti ers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1{29], is demonstrated by examples. We show that our representation language permits us to t...

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey, he beats it). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; r...