scholarly journals Combining Logics to Transform Organizational Agency

2016 ◽  
Vol 61 (3) ◽  
pp. 347-392 ◽  
Author(s):  
Elena Dalpiaz ◽  
Violina Rindova ◽  
Davide Ravasi
Keyword(s):  
Combining Logics

Modulated fibring and the collapsing problem

2002 ◽  
Vol 67 (4) ◽  
pp. 1541-1569 ◽  
Author(s):  
Cristina Sernadas ◽  
João Rasga ◽  
Walter A. Carnielli
Keyword(s):  
Mathematical Logic ◽  
Soundness And Completeness ◽  
The Given ◽  
Combining Logics

AbstractFibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge to fibring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that fibring imposes unwanted interconnections between the given logics. Modulated fibring allows a finer control of the combination, solving the collapsing problem both at the semantic and deductive levels. Main properties like soundness and completeness are shown to be preserved, comparison with fibring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem.

scholarly journals Fusions of Description Logics and Abstract Description Systems

2002 ◽  
Vol 16 ◽  
pp. 1-58 ◽  
Author(s):  
F. Baader ◽  
C. Lutz ◽  
H. Sturm ◽  
F. Wolter
Keyword(s):  
Large Class ◽  
Description Logics ◽  
General Setting ◽  
Modal Logics ◽  
Common Generalization ◽  
Abstract Description ◽  
Normal Modal Logics ◽  
Combining Logics

Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting.

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

2011 ◽  
Vol 17 (2) ◽  
pp. 194-209 ◽  
Author(s):  
Toke Bjerregaard
Keyword(s):  
Institutional Logics ◽  
Practice Research ◽  
Public Servants ◽  
Institutional Organization ◽  
Passive Strategies ◽  
Action Strategies ◽  
Strategy As Practice ◽  
Policy Work ◽  
Combining Logics

AbstractWhile 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.

scholarly journals Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems

2013 ◽  
Vol 2013 ◽  
pp. 1-8
Author(s):  
George Voutsadakis
Keyword(s):  
Computer Science ◽  
Algebraic Logic ◽  
Abstract Algebraic Logic ◽  
Combined Logics ◽  
Component Systems ◽  
Combining Logics

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.

scholarly journals A focused approach to combining logics

2011 ◽  
Vol 162 (9) ◽  
pp. 679-697 ◽  
Author(s):  
Chuck Liang ◽  
Dale Miller
Keyword(s):  
Combining Logics

scholarly journals Le logica impecabile del irrational

1969 ◽  
Vol 4 (1) ◽  
Author(s):  
Walter Carnielli
Keyword(s):  
The Other ◽  
New Method ◽  
Other Hand ◽  
History Of ◽  
The Subject ◽  
Logic Systems ◽  
The One ◽  
Combining Logics

This paper is written in INTERLINGUA2, a form of modern Latin without declensions whose use in science was initiated by G. Peano, preceded by Descartes and Leibniz. I am following here the IALA conventions for INTERLINGUA of 1952. To the best of my knowledge, this is the first text in logic or philosophy ever written in INTERLINGUA. The paper offers an introduction to some philosophical and logical questions concerned with the problem of the contradictory in logic, traditionally seen as some form of irrationality, as well as a comparison between some distinct positions, their logical approaches and reciprocal criticisms. A brief account of the history of the subject is also sketched. In particular, some recent results about the logics of formal inconsistency (LFIs), the society semantics and its general form, the possible-translations semantics, are emphasized here not only as a new method for combining logics, but also as an impeccable foundation to what is taken to be as the irrational. These syntactical and semantical tools have the double intention of, on the one hand, to systematize and to precisely define an ample class of logic systems, and on the other hand to offer alternative semantic interpretations to certain less studied non-classical logics, while making possible to combine simple logics so as to obtain other logics with a richer structure. We try to assess here the interest, the degree of success and the capability the LFIs and of the possible-translations semantics (as well as its associate, the society semantics) as conceptual contrivances to overcome the irrational.

scholarly journals Impossibility theorems in multiple von Wright’s preference logic

2014 ◽  
Vol 59 (201) ◽  
pp. 69-84
Author(s):  
Branislav Boricic
Keyword(s):  
Social Choice ◽  
Social Preference ◽  
Choice Theory ◽  
Social Choice Theory ◽  
Mathematical Economics ◽  
Preference Logic ◽  
Preference Relations ◽  
The Social ◽  
The Individual ◽  
Combining Logics

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.

Combining Logics: Parchments Revisited

2002 ◽  
pp. 48-70 ◽  
Author(s):  
C. Caleiro ◽  
P. Mateus ◽  
J. Ramos ◽  
A. Sernadas
Keyword(s):  
Combining Logics
Sign in / Sign up

Export Citation Format

Share Document