scholarly journals On meet-combination of logics

2011 ◽  
Vol 22 (6) ◽  
pp. 1453-1470 ◽  
Author(s):  
A. Sernadas ◽  
C. Sernadas ◽  
J. Rasga
Keyword(s):  
Combination Of Logics

scholarly journals Programming for holistic value creation: collaboration, coordination and perception

2019 ◽  
Vol 12 (1) ◽  
pp. 71-94
Author(s):  
Markus Laursen ◽  
Catherine P. Killen
Keyword(s):  
Decision Making ◽  
Value Creation ◽  
Cultural Context ◽  
Single Case ◽  
Engaged Scholarship ◽  
Public And Private ◽  
Content Type ◽  
Depth Analysis ◽  
Decision Logic ◽  
Combination Of Logics

PurposeThe purpose of this paper is to holistically explore value creation approaches in a program of cultural projects to inform the practices of project/program management in both public and private sectors.Design/methodology/approachThe paper brings together the literature on project, program and portfolio value creation to inform a case study conducted with engaged scholarship research methods.FindingsThree themes of value creation are revealed: managing collaboration, coordination and perception. Effectuation and causation are both observed, demonstrating that a combination of logics underpin decision making in projects.Research limitations/implicationsThe results are based on a single case in a cultural context. Further research is needed to determine whether the observed value creation themes apply more generally, and to explore more deeply the use of logics associated with entrepreneurship in project decision making.Practical implicationsThe study reveals several non-commercial aspects of value creation that may play a role across a range of project environments. Practitioners may be able to recognize a wider range of value creation and to better nurture these previously unacknowledged types of value.Originality/valueThe study provides new insights on value and decision logic through in-depth analysis of value creation in a program of culture projects.

scholarly journals JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS

2011 ◽  
Vol 4 (4) ◽  
pp. 560-606 ◽  
Author(s):  
JOSHUA SCHECHTER
Keyword(s):  
Important Case ◽  
Consequence Relations ◽  
Paper Briefly ◽  
Conservative Extension ◽  
Strong Completeness ◽  
Completeness Result ◽  
Combination Of Logics ◽  
New Framework

This paper develops a new framework for combining propositional logics, called “juxtaposition.” Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist logics. Particular attention is paid to the phenomenon of collapse. It is shown that there are logics with two stocks of classical or intuitionist connectives that do not collapse. Finally, the paper briefly investigates the question of which rules, when added to these logics, lead to collapse.

scholarly journals Asymmetric Combination of Logics is Functorial: A Survey

2017 ◽  
pp. 39-55 ◽  
Author(s):  
Renato Neves ◽  
Alexandre Madeira ◽  
Luis S. Barbosa ◽  
Manuel A. Martins
Keyword(s):  
Combination Of Logics

Understanding Homelands

Homelands ◽  
2020 ◽  
pp. 8-34
Author(s):  
Nadav G. Shelef
Keyword(s):  
Statistical Analysis ◽  
Political Competition ◽  
The Political ◽  
Evolutionary Processes ◽  
Combination Of Logics ◽  
The Cross ◽  
Cross National

This chapter explores the theoretical arguments that homelands matter, that their contours can change, and that evolutionary processes arising from domestic political contestation could account for such transformations. Nationalism calls homelands into being; it is the nationalist project that transforms mere land into homeland and sanctifies it. The chapter shows that, despite its importance to nationalists, two aspects of the homeland are often domestically contested: (1) exactly which tracts of land are part of it; and (2) what logic or combination of logics is used to designate land as part of the homeland. It is the outcome of the political competition between movements that vary in the answers they provide to one or both of these questions that selects which shape of the homeland becomes taken for granted in the wider society and whether lost lands come to be excluded from it. The chapter then develops the empirically observable implications of this theory as well as alternative explanations for contractions in the homeland's scope. These implications serve as the foundation for the empirical exploration in both the cases studies and the cross-national statistical analysis that follow.

Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

1996 ◽  
Vol 61 (4) ◽  
pp. 1057-1120 ◽  
Author(s):  
D. M. Gabbay
Keyword(s):  
Proof Theory ◽  
Finite Model ◽  
Finite Model Property ◽  
The Past ◽  
Combined Logics ◽  
Intermediate Logics ◽  
Combination Of Logics ◽  
Combining Logics ◽  
New System ◽  
Intuitionistic Logics

AbstractThis is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems Li, i ∈ I, to form a new system LI. The methodology ‘fibres’ the semantics i of Li into a semantics for LI, and ‘weaves’ the proof theory (axiomatics) of Li into a proof system of LI. There are various ways of doing this, we distinguish by different names such as ‘fibring’, ‘dovetailing’ etc, yielding different systems, denoted by etc. Once the logics are ‘weaved’, further ‘interaction’ axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics.The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property.Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20–30 years. We hope our methodology will help organise the field systematically.

Structuralist modals and the combination of logics

2010 ◽  
Vol 19 (4) ◽  
pp. 584-597 ◽  
Author(s):  
A. Koslow
Keyword(s):  
Combination Of Logics
Sign in / Sign up

Export Citation Format

Share Document