When Has Makonncn, father of the present emperor of Ethiopia, was governor of Harrar Province, he donated, in 1901. a piece of land for a leprosarium for the Catholic Mission just outside the city walls of Harrar. French Capuchin fathers collected some 80 leprosy patients and looked after them. Since real treatment was not poss ible in those days, it was more a work of charity than medical aid....

BACKGROUND Prompt diagnosis and treatment of latent tuberculosis (TB) infection (LTBI) are needed to control TB. The aim of the study was to compare the performance of Quanti FERON-TB test (QFT) with conventional TST for the diagnosis of LTBI. METHODS In this analytical - comparison study, we enrolled 87 nurses working in teaching hospitals in Ahvaz. All study subjects were tested by TST. TST...

The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...

Relational database systems do not e ectively support complex queries containing quanti ers (quanti ed queries) that are increasingly becoming important in decision support applications. Generalized quanti ers provide an e ective way of expressing such queries naturally. In this paper, we consider the problem of processing quanti ed queries within the generalized quanti er framework. We demonst...

In the second part of the overview reasoning with fuzzily de ned quanti ers and applications are presented Possibility based reasoning This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No is summarized in detail The widely used quanti er extension principle and various reasoning schemas derived from it are discussed Some disad vantage...

Quanti cation is an important topic in fuzzy theory and its applica tions An overview is presented for quanti cation in fuzzy theory After This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No a brief review of quanti ers in rst order logic two approaches of gen eralizing quantifers are given the algebraic method and the substitution m...

We survey the areas of Constraint programming, Bounded Quanti ers and Collection Types, then we describe an extension of constraint logic programming by bounded quanti ers. Bounded quanti ers provide the support for nite domain constraint programming in a natural way. We de ne several semantics for constraint logic programs with bounded quanti ers and prove their equivalence. Our results can be...

We present a sequent calculus which allows the simultaneous elimination of multiple quantiiers. The approach is an improvement over the well-known skolemization in sequent calculus. It allows a lazy handling of instantiations and of the order of certain reductions. Simultaneous quantiier elimination is justiied from a semantical as well as from a proof theoretical point of view.