PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics, under mild conditions. A weak form of structural completeness is proved to be preserved by the combination. Decidability of the set of admissible rules is also shown to be preserved, with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics.

Impossibility theorems in multiple von Wright’s preference logic

By using the standard combining logics technique (D. M. Gabbay 1999) we define a generalization of von Wright?s preference logic (G. H. von Wright 1963) enabling to express, on an almost propositional level, the individual and the social preference relations simultaneously. In this context we present and prove the counterparts of crucial results of the Arrow-Sen social choice theory, including impossibility theorems (K. Arrow 1951 and A. K. Sen 1970b), as well as some logical interdependencies between the dictatorship condition and the Pareto rule, and thus demonstrate the power and applicability of combining logics method in mathematical economics.

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems

The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting combinations. One of the oldest such methods isfibring. In fibring the shared connectives of the combined logics inherit properties frombothcomponent logical systems, and this leads often to inconsistencies. To deal with such undesired effects, Sernadas et al. (2011, 2012) have recently introduced a novel way of combining logics, calledmeet-combination, in which the combined connectives share only thecommonlogical properties they enjoy in the component systems. In their investigations they provide a sound and concretely complete calculus for the meet-combination based on available sound and complete calculi for the component systems. In this work, an effort is made to abstract those results to a categorical level amenable tocategorical abstract algebraic logictechniques.

Co-existing institutional logics and agency among top-level public servants: A praxeological approach

While institutional organization research to some extent has neglected the micro agency of organization members, parts of the strategy-as-practice research have tended to bracket off wider societal environments shaping the practices-in-use of top-level strategy practitioners. This article attempts to address parts of this void. This study examines the agency exerted by top-level public servants through their everyday strategy and policy work in face of co-existing logics of public administration. The findings illustrate how their action strategies span from more passive strategies of coping with coexisting logics of administration to more skilled agency of combining logics aimed at enhancing their opportunity and action space. The study suggests that the interplay between co-existing institutional logics, action strategies and the practical skills of top-level public servants provides the basis for both coping and more proactive strategies in pluralistic public administrations. Findings illustrate the role of public servants' practical sense of realizable opportunities that inform such strategies of handling co-existing institutional logics. Implications for institutional studies of organizations are outlined.

Co-existing institutional logics and agency among top-level public servants: A praxeological approach

While institutional organization research to some extent has neglected the micro agency of organization members, parts of the strategy-as-practice research have tended to bracket off wider societal environments shaping the practices-in-use of top-level strategy practitioners. This article attempts to address parts of this void. This study examines the agency exerted by top-level public servants through their everyday strategy and policy work in face of co-existing logics of public administration. The findings illustrate how their action strategies span from more passive strategies of coping with coexisting logics of administration to more skilled agency of combining logics aimed at enhancing their opportunity and action space. The study suggests that the interplay between co-existing institutional logics, action strategies and the practical skills of top-level public servants provides the basis for both coping and more proactive strategies in pluralistic public administrations. Findings illustrate the role of public servants' practical sense of realizable opportunities that inform such strategies of handling co-existing institutional logics. Implications for institutional studies of organizations are outlined.