Results 101 to 110 of about 574,752 (282)

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus

Lietuvos Matematikos Rinkinys, 2008
In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj   +1 more source

Dysregulation of the PATZ1/CTCF Balance Silences ZBTB20 to Drive Melanoma Progression

Advanced Science, EarlyView.
This study uncovers a new oncogenic mechanism in melanoma. The transcription factor PATZ1 competes with the architectural protein CTCF for DNA binding, thereby disrupting a specific chromatin loop and silencing the tumor suppressor ZBTB20. This event unleashes the pro‐tumorigenic PMEPA1‐p38‐STAT1 signaling axis, promoting cancer progression.
Chaowei Deng, Shuang Cai, Chen Guo, Shaker Khan, Lefan Liu, Qiong Tian, Zhiyuan Ma, Jian Zhang, Lingyu Zhao   +8 more
wiley   +1 more source

A Common Unified Logic for Ḥaqīqī and Khārijī Propositions [PDF]

حکمت و فلسفه
I aim to demonstrate that this distinction between the logics of ḥaqīqī and khārijī propositions is incompatible with the history of logic in the Islamic world.
Assadollah Fallahi
doaj   +1 more source

Plant Genetic Engineering: Technological Pathways, Application Scenarios, and Future Directions

Advanced Science, EarlyView.
This review maps the fast‐evolving landscape of plant genetic engineering, linking enabling platforms with trait‐focused applications in architecture optimization, stress resilience, yield improvement, and quality enhancement. It highlights how genome editing, transgenic strategies, and emerging multi‐gene approaches reshape breeding pipelines, while ...
Peilin Wang, Wenzhi Wang, Dongjiao Wang, Qibin Wu, Youxiong Que   +4 more
wiley   +1 more source

Bridging the Gap: An Epistemic Logical Model for Analysing Students’ Argumentation and Proof in Mathematics Education Research

Education Sciences
In this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj   +1 more source

Linear logic for constructive mathematics

, 2018
We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core  

Cascade‐Responsive MXene@Cu‐MOF Heterostructure Integrates Antioxidant Activity, Infection Control, and Vascularization for Tracheal Repair

Advanced Science, EarlyView.
A cascade‐responsive MXene@Cu‐MOF/GelMA hydrogel is engineered as a “skeleton–backpack” platform for extensive tracheal repair. The MXene framework scavenges postoperative ROS and converts NIR light into mild hyperthermia, while the Cu‐MOF component provides pH/NIR‐responsive Cu2+ dosing for infection control, angiogenesis, and chondrogenesis.
Liang Guo, Yingran Shen, Jiaoyu Yi, Juanjuan Li, Ziming Wang, Erji Gao, Siqiang Zheng, Zhe‐Sheng Chen, Bo Tao   +8 more
wiley   +1 more source

TANRI İNANCINA DAİR YAKLAŞIMLAR BAĞLAMINDA ‘TANRI VARDIR.’ YARGISININ MANTIKSAL ANALİZİ

Felsefe Dünyası, 2019
Tanrı konusu, felsefe tarihi için her dönemin problematik meselelerinden biridir. Konunun farklı bakış açıları bağlamında ele alınması mümkündür. Bu bakış açılarından ilki, Tanrı’nın varlığını tartışmayan, onu doğrudan kabul eden, ancak karşıt görüşlere ...
Ayşe Şavklıyıldız
doaj  

Massively parallel classical logic via coherent dynamics of an ensemble of quantum systems with dispersion in size. [PDF]

Proc Natl Acad Sci U S A, 2020
Gattuso H, Levine RD, Remacle F.
europepmc   +1 more source

Persistently Increased Expression of PKMzeta and Unbiased Gene Expression Profiles Identify Hippocampal Molecular Traces of a Long‐Term Active Place Avoidance Memory and “Shadow” Proteins

Advanced Science, EarlyView.
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han, Alejandro Grau‐Perales, Rayna M. Harris, Edith Lesburguères, Hsin‐Yi Kao, Asit Pal, Juan Marcos Alarcon, Todd C. Sacktor, Stefano Martiniani, Hans A. Hofmann, André A. Fenton   +10 more
wiley   +1 more source