Results 141 to 150 of about 165,831 (331)

A Galois connection between classical and intuitionistic logics. I: Syntax

, 2017
In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core  

Traceless Regulation of Genetic Circuitry

Advanced Science, EarlyView.
Energy‐based, as opposed to molecular, control offers unprecedented improvements in key circuit parameters. This review summarizes the fundamentals of such traceless switches, categorizes them by trigger modalities, and compares and contrasts distinct advantages as well as shortcomings of each kind.
Gokberk Unal, Martin Fussenegger
wiley   +1 more source

Atom-canonicity and complete representations for cylindric-like\n algebras, and omitting types for the clque guarded fragment of first order\n logic [PDF]

, 2014
Tarek Sayed Ahmed
openalex   +1 more source

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

Annals of Pure and Applied Logic, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities

Advanced Science, EarlyView.
T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu, Xiaoyu Yao, Qingyang Wang, Mengrui Yang, Runze Li, Jiangjiang Qin, Jing Zhuang, Changgang Sun   +7 more
wiley   +1 more source

Meaning is Use: the Case of Propositional Identity

Bulletin of the Section of Logic
We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj   +1 more source

A TtAgo‐Driven Autocatalytic Circuit with Thermal‐Enhanced Kinetics for One‐Pot Nucleic Acid Detection

Advanced Science, EarlyView.
This study proposes a universal catalytic DNA circuits termed TACTIC (Thermus thermophilus protein‐driven autocatalytic circuit) for one‐pot detection of DNA and RNA in multiple clinical samples. Integrated with machine learning, TACTIC accurately profile the distinct expression of four extracellular vesicle‐derived miRNAs across different samples and ...
Zuowei Xie, Ruijia Deng, Ben Niu, Yingjie Yang, Shuang Zhao, Hongzhao Yang, Meilin Gong, Jie Luo, Yu Tang, Jing Sheng, Yan Pi, Ming Chen, Kai Chang   +12 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

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic

, 2017
Sebastian Brandt, Elem Güzel Kalaycı, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev   +5 more
openalex   +2 more sources

ROS‐Responsive Wedelolactone Hydrogel Promotes Intervertebral Disc Repair by Disrupting the NF‐κB–LCN2 Inflammatory Feedback Loop

Advanced Science, EarlyView.
A mechanically robust, ROS‐responsive hydrogel is engineered to treat intervertebral disc degeneration by targeting the NF‐κB–LCN2 inflammatory feedback loop. By delivering wedelolactone specifically within oxidative niches, this system disrupts macrophage–disc cell crosstalk.
Zimei Wu, Yan Xu, Lang Qin, Zemin Ling, Yingjie Mai, Xiong Tian Guo, Jiajia Chen, Leping Yan, Lin Wang, Liming Bian, Fuxin Wei   +10 more
wiley   +1 more source