We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous concurrent processes can be interpreted in terms of constraints. In the present paper we show that the programming interpretation via closure operators is intimately related to the logic of the constraints. More preci...

mulla sadra has presented four theories on existential propositions which at first glance seem to be completely different from each other. the present article claims that, if we consider these four views from the perspective of the principality of existence and from the perspective of the principality of quiddity we will find that: firstly, these four views are reducible to two, and secondly, t...

This paper reviews notions related to focus and presupposition and addresses the hypothesis that focus triggers an existential presuppostion. Presuppostion projection behavior in certain examples appears to favor a presuppositional analysis of focus. It is argued that these examples are open to a different analysis using givenness theory. Overall, the analysis favors a weak semantics for focus ...

This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragment, and an implicational fragment. These are proved by reducing type-checking and type-inference problems of the domain-free polymorphic typed lambda-calculus to those of the lambda-calculi with existential types by continuation...

This research presents a stylistic analysis of short story entitled The Chrysanthemums by John Steinbeck. At the grammatical level, transitivity is employed to achieve objective this research. conducted observe process in story. By using process, reveals portrayal main female character. applies qualitative method based on type data collected Based findings, there are six types processes found, ...

OBJECTIVE The use of continuous sedation until death for terminally ill cancer patients with unbearable and untreatable psychological and existential suffering remains controversial, and little in-depth insight exists into the circumstances in which physicians resort to it. METHODS Our study was conducted in Belgium, the Netherlands, and the UK in hospitals, PCUs/hospices, and at home. We hel...

The client must preorder relates tests (clients) instead of processes (servers). The existing characterisation of this preorder is unsatisfactory for it relies on the notion of usable clients which, in turn, are defined using an existential quantification over the servers that ensure client satisfaction. In this paper we characterise the set of usable clients for finite-branching LTSs, and give...