For two centuries, Koch's postulates have set the gold standard for establishing the microbiological etiology of infection and disease. Genomic sequencing now brings finer resolution to both bacterial strain variation and the host genetic state that may predispose to disease. In this issue of the JID, Fitz-Gibbons and colleagues present strain-based resolution of Propionibacterium acnes and its...

This paper deals with the basic notions of k-tautimmersions . These notions come from two special cases; that is, tight and taut immersions. Tight and taut based on high and distance functions respectively and their basic notions are normal bundle, endpoint map, focal point, critical normal. We generalize hight and distance functions to cylindrical function and define basic notions of k-taut ...

An account of discourse connectives is given which focusses on their entailments. It covers uses of such connectives both to express discourse-internal situational relations and to express meta-level discourse relations. Representing the second of these involves explicitly introducing utterance mood into the logical form. The entailments of both situational and discourse uses of connectives are...

Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, but also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in a categorical abstract model theory known under the name of theory of institutio...