Let $L$ be a completely regular frame and $mathcal{R}L$ be the ‎ring of continuous real-valued functions on $L$‎. ‎We show that the‎ ‎lattice $Zid(mathcal{R}L)$ of $z$-ideals of $mathcal{R}L$ is a‎ ‎normal coherent Yosida frame‎, ‎which extends the corresponding $C(X)$‎ ‎result of Mart'{i}nez and Zenk‎. ‎This we do by exhibiting‎ ‎$Zid(mathcal{R}L)$ as a quotient of $Rad(mathcal{R}L)$‎, ‎the‎ ‎...

Due to its constantly growing incidence, obesity is an increasingly serious social and medical problem. Available data on the use of novel oral anticoagulants in morbidly obese and obese patients are very limited. However, we tried to summarize the available knowledge on the use of anticoagulants in this subpopulation of patients in everyday clinical practice. Studies on the clinical use of ant...

OBJECTIVE To evaluate the current and ideal body weight perceptions of schoolchildren in relation to their actual body weight and socio-economic status (SES). DESIGN Baseline evaluation of schoolchildren from January 2008 to April 2008 as part of a 3-year longitudinal study. SETTING City and non-city locations, Karnataka State, South India. SUBJECTS Schoolchildren (n 1877) aged between 8 ...

Although the burgeoning discipline of welfare economics is based on essentially utilititarian principles, the foundations of utilitarianism have received little attention in recent years. This paper seeks to reopen the debate by drawing a distinction between Harsanyi’s two defences of utilitarianism, labeling the first a teleological or ideal-observer theory, and the second a nonteleological th...

Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy...

This paper presents a logical approach to formalization of some aspects of multi-agent systems in an incompletely known world. The contribution on this regard is as follows. We formalized reasoning about concurrent actions inside the situation calculus framework which has the suuciently clear and well-understood semantics to express diierent aspects of agent theory. Conclusions can be drawn by ...

We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by ...