Results 81 to 90 of about 690 (186)

Constructive Logic with Strong Negation is a Substructural Logic. II [PDF]

, 2018
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew .
Spinks, M., Veroff, R.
core  

Nepali Women at Work: Menstruation in Informal and Formal Workplaces

Gender, Work &Organization, Volume 33, Issue 4, Page 1595-1605, July 2026.
ABSTRACT Women of specific castes in Nepal are socialized to adhere to a range of menstrual customs. Drawing on semi‐structured interviews, we examine the relevance of menstrual customs in informal and formal workplaces in Kathmandu, Nepal. We expand upon Acker's work on gendered institutions cross‐culturally, highlighting its global significance, and ...
Srijana Karki, Tamara L. Mix
wiley   +1 more source

Beyond our backyard: Unravelling how social‐ecological fit drives the formation of inter‐regional collaborative networks for water governance in the Yellow River Basin

People and Nature, Volume 8, Issue 6, Page 1852-1868, June 2026.
Abstract The societal and biophysical permeability across human‐demarcated jurisdictions within watersheds necessitates collaboration among administrative regions. The effectiveness of such collaboration is partly determined by the degree to which institutional arrangements align with underlying social and ecological interdependencies, a concept ...
Fang Wang, Haibin Chen, Liqun Shao, Shuai Wang   +3 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Substructural Operational Semantics as Ordered Logic Programming

, 2009
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation.
Robert J. Simmons (5409566), Frank Pfenning (5356877), Frank Pfenning, Robert J. Simmons   +3 more
core   +1 more source

Kineochelins—A New Group of Siderophores From an Antarctic Bacterium

Microbial Biotechnology, Volume 19, Issue 6, June 2026.
Genome‐guided analysis of an Antarctic Actinokineospora strain led to the discovery of kineochelins, a new group of siderophores involved in iron sequestration and microbial competition. Kineochelin production inhibits co‐occurring bacteria and clinically relevant yeasts, highlighting Antarctic microorganisms as promising sources of bioactive natural ...
Stanislava Kralova, Peter Spacek, Johannes Gafriller, Matej Bezdicek, Viktoria Medvedcova, Joana Séneca, Jay Osvatic, Ulrike Grienke, Thomas Rattei, Olga N. Sekurova, Sergey B. Zotchev, Martin Zehl, Alexander Loy   +12 more
wiley   +1 more source

Conuclear images of substructural logics [PDF]

Mathematical Logic Quarterly, 2016
Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are ...
openaire   +1 more source

Trump's Transactional Diplomacy: Breakthrough or Breakdown?

Middle East Policy, Volume 33, Issue 2, Page 24-40, Summer 2026.
Abstract The US‐Israeli war on Iran appears to demonstrate the perils of a transactional diplomacy that dismisses the rules‐based, liberal international order in pursuit of American dominance. Much of the growing literature assumes transactional diplomacy will be a temporary, Trump‐driven departure from traditional, values‐based statecraft. By contrast,
Guilain Denoeux, Robert Springborg
wiley   +1 more source

When Conditional Logic and Belief Revision Meet Substructural Logics [PDF]

, 2015
International audienceTwo threads of research have been pursued in parallel in logic and artificial intelligence. On the one hand, in artificial intelligence, logic-based theories have been developed to study and formalize belief change and the so-called
Aucher, Guillaume
core  

A Canonical Model Construction for Substructural Logics

, 2000
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripke- style
Ishihara, Hajime, Ishihara,Hajime
core   +1 more source