In informal mathematical discourse (such as the text of a paper on theoretical computer science) we often reason about equalities involving binding of object-variables. We find ourselves writing assertions involving meta-variables and capture-avoidance constraints on where object-variables can and cannot occur free. Formalising such assertions is problematic because the standard logical framewo...

Belnap’s Display Logic is a generalised sequent-style framework which is able to capture many different logics in one uniform setting. Its main attractions are twofold: a “display property” which allows every formula to be introduced as the whole of the left or right side of a sequent, and a single cut-elimination theorem which works for all “proper” display calculi. Belnap’s original proof of ...

Logic programming, as well as functional programming, benefitted from a strong connection with logic and proof theory which allowed to provide formal tools to analyze programs through logical tools. However, this logical analysis fails when control operators are concerned. A informal way to understand this is that the role of those operators is mostly to prune the search space while the search ...

Carneades is a computational model of argument, based on the state-of-theart of argumentation theory in philosophy. This article presents a diagramming method for Carneades, similar to Wigmore charts, and illustrates how to map legal evidence using this method. With suitable computer support, in the form of a special purpose argument diagram editor, users need not understand the mathematics of ...

There are several approaches to elicit, analyze and specify security requirements ranging from formal mathematical models for proof of certain security properties to informal methods which are easily understood. Applicability of formal security models is limited since they are complex and it is time consuming to develop. On the other hand, informal security requirements analysis methods are not...

Programs that implement computer communications protocols can exhibit extremely complicated behavior, and neither informal reasoning nor testing is ~ reliable enough to establish their correctness. In this paper we discuss the application of program verification techniques to protocols. This approach is more reliable than informal reasoning, but has the advantage over formal reasoning based on ...

In the last 50 years the shape of cities has changed dramatically. People have started to migrate from rural areas, attracted by the opportunities created by a more dynamic economy and by the apparent easier life within the cities. This trend has been observed in Europe during the whole 20th century, but has now considerably slowed down, to the benefit of smaller urban centres, which have grown...

There are increasing concerns about the future availability of informal care for older people, particularly care by their children. This article explores past trends in the provision of informal care by children/children-in-law to their older parents/parents-in-law between 1985 and 1995 in Great Britain, using successive General Household Survey data. The article suggests that, during this peri...

INTRODUCTION AND BACKGROUND The early post-discharge period is a vulnerable time for older patients with complex care requirements. This paper identifies factors predicting a self-reported successful post-discharge outcome for patients aged 80 years and over by exploring factors related to the discharge process, the provision of formal home-care services, informal care and characteristics of th...

This paper explores the use of social awareness support as a potential solution to alleviate informal care al, and emotional load habitually associated with their duties. This is a preliminary contribution of the Vienna University of Technology to TOPIC project that is currently under development. In this paper we report on relevant literature, identify and consider technological and interactio...