Tarski showed that mathematics can be built up in the equational theory EqRA of relation algebras (RA's), hence EqRA is undecidable. He raised the problem "how much associativity of relation composition is needed for this result." Maddux defined the classes NA 3 WA "J SA D RA by gradually weakening the associativity of relation composition, and he proved that the equational theory of SA is stil...

We might visualize a semiotic system that depended, in the absence of the power of speech,, upon the ~pperception by the hu.m,an participants o-f contextually defined logical relations among themselves in space. Let us say: the relative position of each participant to another -in a gathering, and to items in· a fixed environment. The 'elements' of the semiotic would be stated by their existenti...

This paper presents the progicnet programme. It proposes a general framework for probabilistic logic that can guide inference based on both logical and probabilistic input, and it introduces a common calculus for making inferences in the framework. After an introduction to the programme as such, it is illustrated by means of a toy example from psychometrics. It is shown that the framework and c...

Illicit transnational flows of goods, money, information, and people – the clandestine side of globalization – have become a growing source of tension and conflict in world politics. Nevertheless, the illicit dimensions of the global economy are largely overlooked in the international political economy (IPE) literature.1 This is evident by surveying the major textbooks, readers, and journals in...

Patients diagnosed with bladder cancer may require a urinary diversion to maximize their health care outcomes. These patients, faced with sudden changes in their health status, develop complex unmet needs that can be addressed by a planned program of education. Peplau's theory of interpersonal relations offers a framework for patient teaching that emphasizes the importance of the nurse-patient ...

We construct a model for FPC, a purely functional, sequential, call-by-value language. The model is built from partial continuous functions, in the style of Plotkin, further constrained to be uniform with respect to a class of logical relations. We prove that the model is fully abstract.

BACKGROUND The employment of physician assistants (PAs) is a strategy to improve access to care. Since the new millennium, a handful of countries have turned to PAs as a means to bridge the growing gap between the supply and demand of medical services. However, little is known about this new workforce entity from the patient's perspective. The objective of this study was to assess the willingne...

Binary logical relations do not compose. So we generalise the notion of logical relation to one of lax logical relation, so that binary lax logical relations do compose. We give both a direct generalisation and a corresponding category theoretic formulation. We generalise the Basic Lemma for logical relations to a Basic Lemma for lax logical relations. Finally, we give an axiomatic category the...