Results 121 to 130 of about 17,292 (295)

Labelled natural deduction for substructural logics [PDF]

, 1997
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates ...
Russo, Alessandra, Broda, Krysia, Finger, Marcelo   +2 more
core   +1 more source

Hierarchical Ordering Induced Ultrahigh Cryogenic Strength and Strain Hardening in a Ni2CoFeV Medium‐Entropy Alloy

Advanced Science, EarlyView.
A tri‐phase Ni2CoFeV medium‐entropy alloy with fcc, κ, and L12 phases achieves exceptional cryogenic strength‐ductility synergy at 77 K. It delivers a yield strength of 1.4 GPa, an ultimate tensile strength of 2.07 GPa and a tensile ductility of 28%.
Lei Gu, Wei Jiang, Qingzhong Mao, Xiang Chen, Yonghao Zhao   +4 more
wiley   +1 more source

Combining computation tree logic and deontic logic in natural deduction style calculus

, 2009
In this technical report we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities and prove its correctness.
Bolotov, A., Grigoriev, O.
core  

Towards a canonical classical natural deduction system [PDF]

, 2013
Preprint submitted to Elsevier, 6 July 2012This paper studies a new classical natural deduction system, presented as a typed calculus named lambda-mu- let.
Espírito Santo, José
core   +1 more source

Understanding the Catalytic Determinant role of Diaphorase‐Like Subunit in Formate Dehydrogenases via Redox Couples

Advanced Science, EarlyView.
A unique mechanism of catalytic bias regulated by diaphorase‐like subunit in formate dehydrogenase from Rhodobacter aestuarii is revealed. The diaphorase‐like subunit functions act as a biological “voltage rheostat” that controls the slow release of NADH to regulate redox balance, biasing the enzyme's catalytic preference toward CO2 reduction over ...
Kuncheng Zhang, Weisong Liu, Hao Su, Huijuan Cui, Yuanming Wang, Zhiguang Zhu, Chun You, Lingling Zhang   +7 more
wiley   +1 more source

Natural Deduction, Sharing By Presentation [PDF]

, 2007
Contains fulltext : 30014.pdf (Publisher’s version ) (Open Access)Part I of this thesis studies a fragment of natural deduction to which we have added the notion of sharing of subresults. This formalism is called 'deduction graphs'.
Loeb, I.
core  

Bias‐Engineered Synthetic Antiferromagnets Hosting Sub‐20 nm Zero‐Field Skyrmions at Room Temperature

Advanced Science, EarlyView.
A fully compensated synthetic antiferromagnet (SAF) multilayer exhibits a uniform state at zero field, without skyrmions. We use a SAF bias system to provide RKKY‐mediated exchange bias to the SAF multilayer, promoting zero‐field skyrmion stabilization and polarity control.
Emily Darwin, Riccardo Tomasello, Reshma Peremadathil Pradeep, Mario Carpentieri, Giovanni Finocchio, Hans J. Hug   +5 more
wiley   +1 more source

Efficient Concentration and Complete Destruction of Short‐Chain and Emerging PFAS in Contaminated Water via Integrated Interface Engineering‐Enhanced Carbon Felt Sorption and Photochemical Processes

Advanced Science, EarlyView.
A closed‐loop “Concentrate‐Destroy” strategy is presented for completely eliminating short‐chain and emerging PFAS, in which the new 3D PPy@P‐CF is used for efficiently concentrating PFAS and Cu2+‐mediated photodegradation is applied for the completely destroying PFAS in the sorbent regeneration eluent.
Hao Yu, Jialei Guo, Peng Zhang, Hongyi Li, Feng He, Hongwen Sun   +5 more
wiley   +1 more source

Parsing categorial grammars in natural deduction

, 1999
We present an algorithm for parsing in the product-free fragment of Categorial Grammars (CG) using a Natural Deduction (ND) Calculus à la Prawitz. Since this is not the usual formalism of choice, we must first introduce the rules of the calculus and some
Frías Delgado, Antonio, Jiménez Millán, José Antonio   +1 more
core  

Targeting a Myeloid–Regulatory B Cell Network Reverses Immune Paralysis in Periprosthetic Joint Infections

Advanced Science, EarlyView.
Periprosthetic joint infection establishes a sophisticated immunosuppressive network between CXCR4+ PMN‐MDSCs and Bregs, inducing profound CD8+ T cell paralysis. Alendronate effectively disrupts this CXCR4+ PMN‐MDSC–Breg axis by targeting STAT3, thereby restoring local immune surveillance.
Jintao Wu, Shutao Zhang, Yumin Lin, Juyang Jiao, Zhiwei Fu, Qimin Hong, Ziyi Zhao, Xinhua Qu, Fei Su, Bing Yue   +9 more
wiley   +1 more source