Search Results - "Gabbay, Michael"

Strategies of Armed Group Consolidation in the Afghan Civil War (1989-2001) by Erickson, Megan, Gabbay, Michael

“…What explains the variation in the strategies of consolidation among armed groups? We examine three conditions that can explain the modes of militant…”
Get full text

Consolidation of Nonstate Armed Actors in Fragmented Conflicts: Introducing an Emerging Research Program by Hafez, Mohammed M., Gabbay, Michael, Gade, Emily Kalah

“…How do armed groups consolidate power in conflict landscapes packed with rival factions, paramilitary militias, and local warlords? Extant scholarship has…”
Get full text

Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) by Gabbay, Michael

“…In this short paper I note that a key metatheorem does not hold for the bilateralist inferential framework: harmony does not entail consistency. I conclude…”
Get full text

Choosing Sides in Forever Wars: How Wedge Threats Shape Ideological Alignment in Fragmented Warscapes by Gabbay, Michael, Hafez, Mohammed M.

Get full text

Evaluating militant decision-making with information science: The Irish republican movement during the “Troubles” by Eastin, Joshua, Gade, Emily Kalah, Gabbay, Michael

“…Why do militant groups decide to escalate or deescalate their use of violence in conflict? Examining the case of the “Troubles” in Northern Ireland, we analyze…”
Get full text

Social Network Analysis in the Study of Terrorism and Insurgency: From Organization to Politics by Zech, Steven T., Gabbay, Michael

“…Research using social network analysis to study terrorism and insurgency has increased dramatically following the 9/11 attacks against the United States. This…”
Get full text

Fratricide in rebel movements: A network analysis of Syrian militant infighting by Gade, Emily Kalah, Hafez, Mohammed M, Gabbay, Michael

“…Violent conflict among rebels is a common feature of civil wars and insurgencies. Yet, not all rebel groups are equally prone to such infighting. While…”
Get full text

Networks of Cooperation: Rebel Alliances in Fragmented Civil Wars by Gade, Emily Kalah, Gabbay, Michael, Hafez, Mohammed M., Kelly, Zane

“…When rebels make alliances, what informs their choice of allies? Civil wars are rarely simple contests between rebels and incumbent regimes. Rather, rival…”
Get full text

Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness by Gabbay, Murdoch J., Gabbay, Michael

“…We give a semantics for the λ-calculus based on a topological duality theorem in nominal sets. A novel interpretation of λ is given in terms of adjoints, and…”
Get full text

The effects of nonlinear interactions and network structure in small group opinion dynamics by Gabbay, Michael

“…We present a model of opinion dynamics in social networks in which an individual's opinion evolves under the action of (i) a linear force which tends to…”
Get full text

Frame-Induced Group Polarization in Small Discussion Networks by Gabbay, Michael, Kelly, Zane, Reedy, Justin, Gastil, John

“…We present a novel explanation for the group polarization effect whereby discussion among like-minded individuals induces shifts toward the extreme. Our theory…”
Get full text

A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language by Gabbay, Michael

“…We build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped…”
Get full text

A Formalist Philosophy of Mathematics Part I: Arithmetic by Gabbay, Michael

“…In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting…”
Get full text

Terrorism and Small Groups: An Analytical Framework for Group Disruption by Reedy, Justin, Gastil, John, Gabbay, Michael

“…Terrorism scholarship has revealed the importance of small groups—both cells and leadership groups—in the proliferation of violence, yet this field remains…”
Get full text

Opinion Network Modeling and Experiment by Gabbay, Michael

“…Proceedings of the 5th International Conference on Applications in Nonlinear Dynamics, V. In, P. Longhini, and A. Palacios (eds.), Springer International…”
Get full text

Community detectability and structural balance dynamics in signed networks by Morrison, Megan, Gabbay, Michael

“…Phys. Rev. E 102, 012304 (2020) We investigate signed networks with community structure with respect to their spectrum and their evolution under a dynamical…”
Get full text

Transitions between peace and systemic war as bifurcations in a signed network dynamical system by Morrison, Megan, Kutz, J. Nathan, Gabbay, Michael

“…We investigate structural features and processes associated with the onset of systemic conflict using an approach which integrates complex systems theory with…”
Get full text

The Attack as Intuitionistic Negation by Gabbay, Dov, Gabbay, Michael

“…We translate the argumentation networks ${\cal A}=(S, R)$ into a theory $D$ of intuitionistic logic, retaining $S$ as the domain and using intuitionistic…”
Get full text

The Attack as Strong Negation, Part I by Gabbay, Dov, Gabbay, Michael

“…We add strong negation $N$ to classical logic and interpret the attack relation of "$x$ attacks $y$" in argumentation as $(x\to Ny)$. We write a corresponding…”
Get full text

Frame-Induced Group Polarization in Small Discussion Networks by Gabbay, Michael, Kelly, Zane, Reedy, Justin, Gastil, John

“…Social Psychology Quarterly 81(3):248-271, 2018 We present a novel explanation for the group polarization effect whereby discussion among like-minded…”
Get full text