Local strategic partnerships in England: the continuing search for collaborative advantage, leadership and strategy in urban governance

Local Strategic Partnerships are being established in England to provide an inclusive, collaborative and strategic focus to regeneration strategies at the local level. They are also required to rationalise the proliferation of local and micro-partnerships set up by a succession of funding initiatives over the last 25 years. This article explores their remit, resources and membership and discusses how this initiative relates to theoretical work on urban governance, community engagement and leadership. It concludes by debating whether urban policy in England is now entering a new and more advanced phase based on inter-organisational networks with a strategic purpose. But questions remain about whether the institutional capacity is sufficient to deliver strong local leadership, accountability and community engagement.

Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Fluid Ontologies in the Search for MH370

This paper gives an account of the disappearance of Malaysian Airways Flight MH370 into the southern Indian Ocean in March 2014 and analyses the rare glimpses into remote ocean space this incident opened up. It follows the tenuous clues as to where the aeroplane might have come to rest after it disappeared from radar screens – seven satellite pings, hundreds of pieces of floating debris and six underwater sonic recordings – as ways of entering into and thinking about ocean space. The paper pays attention to and analyses this space on three registers – first, as a fluid, more-than-human materiality with particular properties and agencies; second, as a synthetic situation, a composite of informational bits and pieces scopically articulated and augmented; and third, as geopolitics, delineated by the protocols of international search and rescue. On all three registers – as matter, as data and as law – the ocean is shown to be ontologically fluid, a world defined by movement, flow and flux, posing intractable difficulties for human interactions with it.