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.

What do we expect from an ombudsman? Narratives of everyday engagement with the informal justice system in Germany and the UK

This paper looks at expectations people have of informal justice mechanisms through a rich empirical dataset of 2775 recent ombudsman users in Germany and the United Kingdom. In a cross-cultural comparison the ombudsman, as a model of justice is explored. Not much is known about people’s expectations towards the ombudsman model; this paper starts to fill the gap. Four roles became apparent as cross-cultural narratives in the dataset; people who interact with ombudsmen expect them to be interpreters, advocates, allies and instruments. The identified roles are largely common to both countries, but in some aspects they show national specificities. These national specificities are seen mainly in the use of language; in Germany it is more legalistic in comparison to the UK. I argue that this might be related to what has been described as the general legal culture of each country and the institutional set-up.