Results 11 to 20 of about 216,687 (373)
Categorifying computable reducibilities [PDF]
Logical Methods in Computer Science, Volume 21, Issue 1 (February
11, 2025) lmcs:11378, 2022 This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notions lend themselves to a smooth categorical presentation, essentially dualizing the traditional idea of realizability doctrines, Weihrauch reducibility and its extensions to ...
arxiv +1 more source
Taking Forward the Dialogue on Nuclear Risk Reduction
Journal for Peace and Nuclear Disarmament, 2021 Building on the existing political momentum, this article seeks to deepen the international discussion on nuclear risk reduction through track 1.5 and track 2.0 dialogues.
Petr Topychkanov
doaj +1 more source
Rethinking India’s Nuclear Policy:Credible Minimum Nuclear Deterrence as a Dynamic Transformation of Nuclear Option Open [PDF]
, 2013 After its 1998 nuclear test, India’s nuclear doctrine was described as ‘credible minimum nuclear deterrence’. India’s nuclear doctrine and policy are often characterized, in the academic discourse, as if the country pursues an assertive military doctrine
Nakanishi, Hiroaki
core +1 more source
LNL polycategories and doctrines of linear logic [PDF]
Logical Methods in Computer Science, Volume 19, Issue 2 (April 5,
2023) lmcs:7662, 2021 We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL multicategories, IL-indexed categories, linearly distributive categories with storage, commutative and
arxiv +1 more source
Pakistan’s Nuclear Weapons Program and Implications for US National Security. [PDF]
, 2010 This article analyzes Pakistan’s nuclear weapons program and the characteristics of the environment in which the program is nested. These characteristics include Pakistan’s history of internal and external instability; nuclear saber rattling during ...
Tkacik, Michael
core +2 more sources
Strategic Ambiguities in Indian Nuclear Doctrine Implications for Pakistan's Security
Policy Perspectives, 2016 Sequel to overt nuclearization in 1998, India announced its Draft Nuclear Doctrine on 17 August 1999 which was reviewed and updated by the Indian Cabinet Committee on Security in January, 2003.
Umar Hayat Luk
doaj +1 more source
In Pursuit of a Grand Strategy: An Explanation of Pakistan’s Evolving Nuclear Policy [PDF]
, 2008 Explaining, investigating and analysing South Asian security scene in the post-Cold War takes into account overt nuclearisation by India and Pakistan in 1998 and the changing perceptions and requirements of national security as reflected in the policy ...
Alam, Mohammed Badrul
core +1 more source
The China–India–Pakistan Nuclear Triangle: Consequential Choices for Asian Security
Journal for Peace and Nuclear Disarmament, 2022 Asia-Pacific is the new locus of global power politics. To contain the rise of China, India has joined the United States in shaping a “geo-political” response to China’s “geo-economic” outreach.
Salman Bashir
doaj +1 more source
India and the Policy of No First Use of Nuclear Weapons
Journal for Peace and Nuclear Disarmament, 2018 One of the cornerstones of India’s official nuclear policy is No First Use (NFU) of nuclear weapons, which has a long history in Indian nuclear debates and discussions.
Kumar Sundaram, M. V. Ramana
doaj +1 more source
Political Observer, 2021 Deterrence is the key concept for understanding the strategy and diplomacy of the age (Kenny, 1985). Its various versions — or better yet — its main manifestations appear during the Cold War period (Brodie, Wolfers, Viner, at A.
Nicolas Papanastasopoulos
doaj +1 more source