Results 51 to 60 of about 481 (175)
Characterizing logic grammars: A substructural logic approach
The Journal of Logic Programming, 1996 Summary: A characterization of static discontinuity grammars (SDGs), a logic grammar formalism due to Dahl, is given in this paper. A substructural logic sequent calculus proof system is given which is shown to be equivalent to SDGs for parsing problems in the sense that a string of terminal symbols is accepted by a grammar if and only if the ...
Fred Popowich +2 more
openaire +2 more sources
Disjunction property and complexity of substructural logics [PDF]
Theoretical Computer Science, 2011 AbstractWe systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments.
Horčík, R. (Rostislav), Terui, K.
openaire +2 more sources
Iontronic Regulation of Nanoconfined Electrical Double Layers on Dielectric Solids
Small Science, EarlyView.In this review, the evolution from classical EDL models at conductor‐liquid interfaces to extended frameworks for nonconductor‐liquid systems is revisited. Building upon this foundation, the implemented energy and information technologies are systematically classified based on the dynamic regulation strategies of different EDL substructures ...
Xiang Li, Yu Wei, Zhong Lin Wang, Di Wei
wiley +1 more source
Constructive Logic with Strong Negation is a Substructural Logic. I [PDF]
Studia Logica, 2008 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 NFLew of the substructural logic FLew. In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of ...
Spinks, M., Veroff, R.
openaire +4 more sources
Network medicine and systems pharmacology approaches to predicting adverse drug effects
British Journal of Pharmacology, EarlyView.Identifying and understanding the relationships between drug intake and adverse effects that can occur due to inadvertent molecular interactions between drugs and targets is a difficult task, especially considering the numerous variables that can influence the onset of such events.
Alessio Funari +2 more
wiley +1 more source
Artificial intelligence streamlines scientific discovery of drug–target interactions
British Journal of Pharmacology, EarlyView.Abstract Drug discovery is a complicated process through which new therapeutics are identified to prevent and treat specific diseases. Identification of drug–target interactions (DTIs) stands as a pivotal aspect within the realm of drug discovery and development. The traditional process of drug discovery, especially identification of DTIs, is marked by
Yuxin Yang, Feixiong Cheng
wiley +1 more source
Synthesis and Application of Bioactive N‐Functionalized Aziridines
Angewandte Chemie, Volume 137, Issue 44, October 27, 2025.This review discusses modern synthetic methods for the preparation of aziridine‐containing small molecules, including biocatalytic, electrocatalytic, and photocatalytic strategies. We highlight the compatibility of various synthetic methods with control of the exocyclic N‐substituent.
Hao Tan +4 more
wiley +2 more sources
Fight Like a Girl: Fitness Testing as Gendered Organizational Logic in the U.S. Army
Gender, Work &Organization, EarlyView.ABSTRACT Organizational logics related to excellence and equity are changing rapidly in contemporary workplaces, yet limited research examines the impacts of specific policy initiatives, including why some fail—or even backfire. This study examines one such recent policy case: a temporary period of gender‐neutral fitness testing in the United States ...
Carrie Carter
wiley +1 more source
Molecular Ecology, EarlyView.ABSTRACT In a world where habitats are degrading and the climate is warming and becoming unpredictable, biodiversity conservation efforts and funding remain grossly inadequate. As part of a multifaceted approach to halting extinctions, shifting from preserving small, remnant populations to a practice of genetically connecting populations that recreate ...
Alexandra Pavlova +14 more
wiley +1 more source
The simplicity of physical laws
Noûs, EarlyView.Abstract Physical laws are strikingly simple, yet there is no a priori reason for them to be so. I propose that nomic realists—Humeans and non‐Humeans—should recognize simplicity as a fundamental epistemic guide for discovering and evaluating candidate physical laws.
Eddy Keming Chen
wiley +1 more source