We report our findings on the properties of Flagg and Friedman’s translation from Epistemic into Intuitionistic logic, which was proposed as the basis of a comprehensive proof method for the faithfulness of the Gödel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we contribute to Flagg and Friedman’s program b...

Synopsis In recent years there has been growing interest in uncovering evolutionary and lifetime factors that may contribute to the domestic dog’s (Canis lupus familiaris) success anthropogenic environments. The readiness with which dogs form social attachments, their hyper-social focus, flexibility have all areas of investigation. Prior research demonstrated many pet infant-caregiver type atta...

In the last few years there was an increasing interest in building companion robots that interact in a socially acceptable way with humans. In order to interact in a meaningful way a robot has to convey intentionality and emotions of some sort in order to increase believability. We suggest that human-robot interaction should be considered as a specific form of inter-specific interaction and tha...

The challenging administration of poorly palatable oral dosage forms to companion animals has fostered sub-optimal treatment outcomes for and thus a need highly treatments. Pharmaceutical companies are creating formulations answer this need, but lack standardised procedure renders palatability assessment complicated hinders comparison between studies. gold standard in assessing voluntary accept...

Dogs offer unique opportunities to study correlations between morphology and behavior because skull shapes and body shape are so diverse among breeds. Several studies have shown relationships between canine cephalic index (CI: the ratio of skull width to skull length) and neural architecture. Data on the CI of adult, show-quality dogs (six males and six females) were sourced in Australia along ...

BACKGROUND Clostridium difficile infections (CDI) in humans range from asymptomatic carriage to life-threatening intestinal disease. Findings on C. difficile in various animal species and an overlap in ribotypes (RTs) suggest potential zoonotic transmission. However, the impact of animals for human CDI remains unclear. METHODS In a large-scale survey we collected 1,447 fecal samples to determ...

The treatment rationale for dogs poisoned by aldicarb is reviewed from a pharmacological perspective. The illegal use of aldicarb to maliciously poison dogs is a major problem in some parts of the world. In South Africa, it is probably the most common canine poisoning treated by companion animal veterinarians. Aldicarb poisoning is an emergency and veterinarians need to be able to diagnose it a...

This study provides information regarding vaccine research and the epidemiology of influenza virus in neglected hosts (horses and dogs). Equine influenza virus (EIV) causes a highly contagious disease in horses and other equids, and outbreaks have occurred worldwide. EIV has resulted in costly damage to the horse industry and has the ability of cross the host species barrier from horses to dogs...