Transition and Justice: An Introduction

Since the end of the Cold War, political new beginnings have increasingly been linked to questions of transitional justice. The contributions to this collection examine a series of cases from across the African continent where peaceful ‘new beginnings’ have been declared after periods of violence and where transitional justice institutions played a role in defining justice and the new socio-political order. Three issues seem to be crucial to the understanding of transitional justice in the context of wider social debates on justice and political change: the problem of ‘new beginnings’, of finding a foundation for that which explicitly breaks with the past; the discrepancies between lofty promises and the messy realities of transitional justice in action; and the dialectic between logics of the exception and the ordinary, employed to legitimize or resist transitional justice mechanisms. These are the particular focus of this Introduction.

Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Exact Unification and Admissibility

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Intergenerational Transfer of Family Firm Control: Discount Expectations of Potential Successors

Building on institutional theory and family sociology literature we explore the logics that underlie the formation of transaction price expectations related to the intergenerational transfer of corporate ownership in private family firms. By probing a sample of 3'487 students with family business background from 20 countries we show that next generation family members expect to receive a 56.58% discount in comparison to some nonfamily buyer (i.e. the family discount) when taking over the parent's firm. We also show that the logic underlying the formation of family discount expectations is characterized by parental altruism, filial reciprocity, filial decency and parental inducement. These norms embrace both the family and market logics and accommodate the duties and demands of children and parents in determining a fair transfer price. These findings are important for institutional theory as well as for family business and entrepreneurial exit literatures.