Results 171 to 180 of about 86,968 (310)

Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)

, 2009
Yuuki Andou
openalex   +1 more source

Natural Deduction Based upon Strict Implication for Normal Modal Logics [PDF]

, 1994
Claudio Cerrato
openalex   +1 more source

Nonlinear multimode photonics on-chip. [PDF]

Nanophotonics
Vitali V, Bucio TD, Liu H, Haines J, Naik PU, Guasoni M, Gardes F, Pavesi L, Cristiani I, Lacava C, Petropoulos P.   +10 more
europepmc   +1 more source

Rotary Electromechanical System Integrating Non‐Reciprocal Memory and Combinational Logic

Advanced Science, EarlyView.
Rotational bistability, interfaced through a conductive network with switchable contacts, unifies logic operations and mechanical memory within a rotary electromechanical system. The author demonstrates how serially coupled configurations of rotationally bistable modules enable reprogrammable sequential logic governed by mechanical state transition and
Shujia Chen, Don Straney, Damiano Pasini
wiley   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

Topoi (Dordr)
Litland JE.
europepmc   +1 more source

Ubiquitination‐Driven Reprogramming of Proteostasis in Metastasis

Advanced Science, EarlyView.
The DCAF12–TRiC/CCT axis is a key regulator of metastasis in cancer. By reprogramming proteostasis to ensure efficient protein folding, it drives progression through a dual mechanism: enhancing cancer cell motility and invasiveness while concurrently activating pro‐growth and survival pathways.
Dongping Wei, Jiayan Chen, Yaping Xu
wiley   +1 more source

CDMRNet: multimodal meta-adaptive reasoning network with dynamic causal modeling and co-evolution of quantum states. [PDF]

Sci Rep
Wang S, Chen K, Yu M, Zhao P, Duan H.
europepmc   +1 more source

Chemical Doping Engineering of Polarization and Topological Textures in van der Waals Ferroelectric CuInP2S6

Advanced Science, EarlyView.
Our work reports that Li⁺ doping in CuInP2S₆ induces coexistence of high‐ and low‐polarization states, which fosters a rich spectrum of topological polar textures, such as bubbles and labyrinth domains. An unconventional flexoelectric effect is also discovered, where strain gradients can mechanically manipulate these polarization states and their ...
Lei Gao, Wenhao Li, Fei Sun, Ziyi Zhou, Zhihao Shen, Jianwei Liang, He Jiang, Weiming Xiong, Weijin Chen, Xiaoyue Zhang, Yi Zhang, Xinzhi Liu, Yue Zheng   +12 more
wiley   +1 more source

A boolean-algebraic approach to completeness for normal modal predicate logics

Weijun Shi
openalex   +2 more sources

Remarks about the unification types of some locally tabular normal modal logics

, 2022
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev   +3 more
openalex   +2 more sources