Results 131 to 140 of about 1,739 (283)

Sequent calculi for a unity of logic

, 2020
We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet discards the polarities and the strict De Morgan laws in classical linear logic (CLL). Then, we define unlinearisation
openaire   +2 more sources

CD47 promotes mitogen‐activated protein kinase and epithelial‐to‐mesenchymal transition molecular programs to drive prometastatic phenotypes in non‐small cell lung cancer

Molecular Oncology, EarlyView.
Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau, Lilian G. Zhai, Ryunosuke Hoshi, Zackary Rousseau, Abraam Zakhary, Yin Fang Wu, Rola M. Saleeb, Heyu Ni, Kelsie L. Thu   +8 more
wiley   +1 more source

KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer

Molecular Oncology, EarlyView.
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan, Veronika M Metzler, Simone de Brot, Corinne L Woodcock, Anna E Harris, Jennifer Lothion‐Roy, Emeli M Nilsson, Atara Ntekim, Michael S Toss, Jenny L Persson, Francesca Khani, Brian D Robinson, Lorraine J Gudas, Emad Rakha, David M Heery, Catrin S Rutland, Nigel P Mongan   +16 more
wiley   +1 more source

Research on effectiveness of sequent calculi for bdi logic.

The area of this master’s paper is sequent calculi for BDI logic. The more specific topic is "Research on effectiveness of sequent calculi for BDI logic". The objective of this work is to define loop formation constraints based on the interaction between
Raginis, Bernardas,
core  

Heterozygous loss‐of‐function alleles associate the conserved 3′‐5′ exoribonuclease EXOSC10 with hypersensitivity to the anticancer drug 5‐fluorouracil

Molecular Oncology, EarlyView.
EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain, Yann Le Page, Frédéric Percevault, Emmanuelle Becker, Luc Negroni, Almudena Fernandez, Marta Cantero, Diego Muñoz‐Santos, Lluís Montoliu, Cyrille Garnier, Michael Primig   +10 more
wiley   +1 more source

Cell‐cycle‐specific lesion evolution rather than inhibition of double‐strand‐break repair underpins cisplatin radiosensitization

Molecular Oncology, EarlyView.
We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu, Xixi Lin, Emil Mladenov, Veronika Mladenova, Jürgen Thomale, Ali Sak, Yao Wang, Yunxuan Deng, Eleni Gkika, Martin Stuschke, George Iliakis   +10 more
wiley   +1 more source

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

Transcriptional profiling of circulating extracellular vesicles from prebiopsy prostate cancer patients

Molecular Oncology, EarlyView.
RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner, Pierre Tennstedt, Randi C. Pose, Christian Müller, Katharina Besler, Svenja Schneegans, Malik Alawi, Marie C. Roesch, Sven Peine, Desiree Bonci, Joanna Budna‐Tukan, Evi Lianidou, Catherine Alix‐Panabières, Derya Tilki, Klaus Pantel   +14 more
wiley   +1 more source

Logic and truth: Some logics without theorems

Studia Philosophica Estonica, 2008
Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure.
Jayanta Sen, Mihir Kumar Chakraborty
doaj  

Proof Complexity of Modal Resolution. [PDF]

J Autom Reason, 2022
Sigley S, Beyersdorff O.
europepmc   +1 more source