The ability of a non-propagating transport device (test device) to maintain the viability of clinically relevant bacteria was compared with a similar commercial device (predicate device) to establish performance equivalence. Test bacteria, namely Chlamydia trachomatis, Chlamydia pneumoniae, Mycoplasma hominis, Mycoplasma pneumoniae and Ureaplasma urealyticum, were inoculated into the test [Puri...

We construct a faithful interpretation of Lukasiewicz's logic in the product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable. We prove a completeness theorem for the product logic extended by a unary connective 4 of Baaz 1]. We show that GG odel's logic is a sublogic of this extended product logic. We also ...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

Determinerless (or “bare”) mass and plural noun phrases also show a parallel alternation in interpretation, depending on the predicate with which they combine. If the predicate is stagelevel (in the terminology of Carlson 1977a,b), the noun phrase is understood as existentially quantified, as in (4)a. and b., which are roughly equivalent to Some water leaked into the floor and Some raccoons wer...

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that a...

We consider an approach to constructing a non-anticipating selection of a multivalued mapping; such a problem arises in control theory under conditions of uncertainty. The approach is called “unlocking of predicate” and consists in the reduction of finding the truth set of a predicate to searching fixed points of some mappings. Unlocking of predicate gives an extra opportunity to analyze the tr...