Results 11 to 20 of about 216,687 (373)

Categorifying computable reducibilities [PDF]

open access: yesLogical 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

open access: yesJournal 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]

open access: yes, 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]

open access: yesLogical 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]

open access: yes, 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

open access: yesPolicy 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]

open access: yes, 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

open access: yesJournal 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

open access: yesJournal 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

Deterrence theory and strategy in the international system from the Cold War to the multipolar era. Towards a new strategy of ‘extended deterrence’ in Greek-Turkish relations |

open access: yesPolitical 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

Home - About - Disclaimer - Privacy