Results 121 to 130 of about 136,655 (280)

2-sequent calculus: intuitionism and natural deduction

, 1993
This approach to studying the minimal intuitionistic modal logic is based on a generalization of Gentzen's original sequent calculus introduced and developed by the author in a previous paper [see Ann. Pure Appl. Logic 58 (1992), no.
MASINI, Andrea
core   +1 more source

Loss of proton‐sensing TDAG8 increases tumor progression in mouse models of colon cancer

Molecular Oncology, EarlyView.
Loss of the pH‐sensing receptor TDAG8 accelerates colorectal cancer progression in mice. Animals lacking TDAG8 expression had increased tumor growth, DNA damage, and recruitment of tumor‐associated immune cells, including macrophages, neutrophils, and monocytes.
Ermanno Malagola, Yasmine Illi, Anna Bircher, Marijn Wilmink, Rachele F. Malagutti, Solenn Ottié, Cordelia Schuler, Pedro A. Ruiz, Cheryl de Vallière, Klaus Seuwen, Gerhard Rogler, Martin Hausmann   +11 more
wiley   +1 more source

Labeled sequent calculus for justification logics

Annals of Pure and Applied Logic, 2017
Justification logics, emerging from the Logic of Proofs (LP) introduced by \textit{S. N. Artemov} [Bull. Symb. Log. 7, No. 1, 1--36 (2001; Zbl 0980.03059)], are modal-like logics whose language includes formulas of the form $t:A$, meaning ``the term $t$ provides a justification for the truth of the formula $A$''. This paper develops calculi for several
openaire   +1 more source

PAK1 activation drives divergent resistance mechanisms to aromatase inhibition and tamoxifen in a luminal: A breast cancer model

Molecular Oncology, EarlyView.
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller, Janina Müller, Efstathios‐Iason Vlachavas, Lukas Beumers, Lena Fleischhacker, Sara Burmester, Angelika Wörner, Sabine Karolus, Dominic Helm, Cindy Körner, Stefan Wiemann   +10 more
wiley   +1 more source

Spatial and single‐nuclei transcriptomics reveals idiosyncratic and generic patterns in papillary and anaplastic thyroid cancers

Molecular Oncology, EarlyView.
Matched spatial transcriptomics and single‐nuclei RNA‐seq were generated for anaplastic and BRAFV600E papillary thyroid cancers revealing generic and tumor‐specific states occurring in cancer cells and in the tumor microenvironment. In this context, cancer dedifferentiation mirrored organoid maturation through ordered thyroid marker gain/loss ...
Adrien Tourneur, Joel Rodrigues Vitória, Manuel Saiselet, Ligia Craciun, Denis Larsimont, Anne Lefort, Frédérick Libert, Carine Maenhaut, Sabine Costagliola, Maxime Tarabichi, Mirian Romitti, Vincent Detours   +11 more
wiley   +1 more source

Inhibition of cyclin‐dependent kinases 12/13 using CT7439 as a treatment for colorectal cancer with CDK12 upregulation

Molecular Oncology, EarlyView.
The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington, Divya L. Dayanidhi, Mohammad Zokaasadi, John B. Mantyh, Pelumi D. Olawuni, Gabrielle Rupprecht, Jeremy M. Force, Shannon McCall, Ashwani K. Bahl, David S. Hsu, Jason A. Somarelli   +10 more
wiley   +1 more source

A Sequent Calculus for Generalized Inductive Definitions

sponsorship: This paper was supported by the FWO project G0B2221N and KUL research project C14/19/082. (FWO project|G0B2221N, KUL research project|C14/19/082)
Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker   +2 more
openaire   +3 more sources

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Preoperative circulating tumor cells integrated with imaging analysis for prognostic evaluation in head and neck squamous cell carcinoma

Molecular Oncology, EarlyView.
Detecting circulating tumor cells (CTCs) in blood before surgery may help predict outcomes in patients with head and neck squamous cell carcinoma (HNSCC). Here, we show when combined with tumor size and lymph node involvement from routine imaging, CTC status identifies high‐risk patients with poorer survival—offering a simple, minimally invasive tool ...
Susanne Flach, Gizem Abaci, Tom Huberty, Axel Lechner, Lukas Käsmann, Jens Ricke, Sophia Stöcklein, Martin Canis, Philipp Baumeister, Marianna Alunni‐Fabbroni   +9 more
wiley   +1 more source

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

, 2013
We present a labelled sequent calculus for Boolean BI (BBI), a classical variant of the logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination.
Goré, Rajeev, Rajeev Goré, Alwen Tiu, Tiu, Alwen, Zhé Hóu, Hou, Zhe   +5 more
core   +1 more source