Hamkins and Löwe proved that the modal logic of forcing is S4.2. In this paper, we consider its modal companion, the intermediate logic KC and relate it to the fatal Heyting algebra HZFC of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras.

Objective- To determine the prevalence of nutritional secondary hyperparathyroidism (NSH) in companion and stray cats of Ahvaz.   Design- Clinical study. Animals- 80 cats (companion=40 and stray=40) Procedures- This survey was accomplished during a two-year period and based on clinical, radiographic and laboratory findings between 2005 and 2007. The studied cats were divided into two gener...

 Let $P(lambda)$ be an $n$-square complex matrix polynomial, and $1 leq k leq n$ be a positive integer. In this paper, some algebraic and geometrical properties of the $k$-numerical range of $P(lambda)$ are investigated. In particular, the relationship between the $k$-numerical range of $P(lambda)$ and the $k$-numerical range of its companion linearization is stated. Moreover, the $k$-numerical...

In 1990 Krivine (1990b) introduced the notion of storage operators. They are λ-terms which simulate call-by-value in the call-by-name strategy. Krivine (1990b) has shown that there is a very simple type in the AF2 type system for storage operators using Gődel translation from classical to intuitionistic logic. Parigot (1993a) and Krivine (1994) have shown that storage operators play an importan...

We describe a BDI (Belief, Desire, Intention) goal-oriented architecture for a conversational virtual companion embodied as a child’s Toy, designed to be both entertaining and capable of carrying out collaborative tasks. We argue that the goal-oriented approach supports both structured conversational activities (e.g., story-telling, collaborative games) as well as more “free-flowing” engaging d...

Older adults with strong social connections are at a reduced risk for health problems and mortality. We describe two field studies to inform the development of a virtual agent designed to provide long-term, continuous social support to isolated older adults. Findings include the topics that older adults would like to discuss with a companion agent, in addition to overall reactions to interactin...

In recent times increasing occurrence of dermatophytosis, especially among the school children in eastern India was evidenced along with increased tendency of keeping companion animals such as dogs and cats. This study was undertaken to detect the occurrence of dermatophytes with antifungal susceptibility among the companion animals. A total of 1501 healthy companion animals comprising 1209 dog...

in recent times increasing occurrence of dermatophytosis, especially among the school children in eastern india was evidenced along with increased tendency of keeping companion animals such as dogs and cats. this study was undertaken to detect the occurrence of dermatophytes with antifungal susceptibility among the companion animals. a total of 1501 healthy companion animals comprising 1209 dog...

in order to study the effects of different sowing dates by some of companion crops on the weeds control, morphological traits and yield of corn sc 504, a field experiment was carried out of research field at tabriz university during 2010 growing season. treatments were arranged in a factorial experiment using randomized complete blocks design with three replicatins. factors was include four lev...

The anatomical variations in the arterial supply of the palm are frequently reported. One such variation reported during routine dissection for undergraduate medical students in our college is the absence of superficial palmar arch and presence of persistent median artery. The arterial supply to the palm is in the form of superficial and deep palmar arches. In the present case the median artery...