Results 61 to 70 of about 9,150 (266)

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence

Logics
We present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj   +1 more source

Oxygen‐Tunnel Indium Tin Oxide Vertical Channel Transistors with Enhanced Current Density and Reliability for Monolithic 3D Compute‐In‐Memory Systems

Advanced Functional Materials, EarlyView.
Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu, Haksoon Jung, Yongwoo Lee, Hoichang Jeong, Yanfeng Zhao, Heesoo Yang, Minho Park, Hyeonjin Lee, Seunghun Baek, Minju Song, Junghwan Kim, Youngmin Jo, Hyunjin Park, Munhyeon Kim, Jae‐Joon Kim, Kyuho Jason Lee, Byungjo Kim, Jimin Kwon   +17 more
wiley   +1 more source

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Inteligencia Artificial, 2020
We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj   +1 more source

Electrode and Microstructure Dependence of Oxygen Diffusion in Ferroelectric Hafnium Zirconium Oxide Thin Films

Advanced Functional Materials, EarlyView.
Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg, Thomas W. Pfeifer, Chuanzhen Zhou, Yong Kyu Choi, Duk‐Hyun Choe, Patrick E. Hopkins, Jon F. Ihlefeld   +6 more
wiley   +1 more source

Distribution-Free Normal Modal Logics

Logics
This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj   +1 more source

Modal logic, fundamentally [PDF]

CoRR
Forthcoming in Advances in Modal Logic, Vol ...
openaire   +2 more sources

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Engineering MnNiPx Cathode via Dual Role of Mn: Simultaneous Enhancement of Activity and Intermittent Operation Durability

Advanced Functional Materials, EarlyView.
Engineering MnNiPx cathodes through the dual role of Mn simultaneously improves hydrogen evolution reaction activity and intermittent‐operation durability. Mn preferentially oxidizes to protect Ni–P sites from irreversible oxidation, while metallic Mn incorporation enhances the HER kinetics of Ni–P active layer.
Ik‐Sun Kim, Jungwoo Choi, Sechan Lee, Jung Eun Park, Changsoo Lee, Jongsu Seo, Ji Hee Kwon, Gisu Doo, Hyeonjung Park, Dongju Lee, Won‐Chul Cho, Changhee Kim, Nosang Vincent Myung, Sang Soo Han, Byeong‐Seon An, MinJoong Kim, Hyun‐Seok Cho   +16 more
wiley   +1 more source