Results 41 to 50 of about 9,301 (306)

Proof Diagrams for Multiplicative Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof in sequent ...
Matteo Acclavio
doaj   +1 more source

Acyclic Solos and Differential Interaction Nets [PDF]

Logical Methods in Computer Science, 2010
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of ...
Thomas Ehrhard, Olivier Laurent
doaj   +1 more source

An Analytical Study of Diophantine Equations of Pythagorean Form: Causal Inferences on Hypothesized Relations between Quadratic and Non-quadratic Triples [PDF]

Athens Journal of Education
In XVII century, presumably between 1637 and 1638, with a note in the margin of Diophantus’ “Arithmetica”, Pierre de Fermat stated that Diophantine equations of the Pythagorean form, x^n+y^n=z^n, have no integer solutions for n>2, and (x,y,z)>0.
Carmelo R. Cartiere
doaj   +1 more source

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

Bulletin of the Section of Logic
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj   +1 more source

Superdeduction in Lambda-Bar-Mu-Mu-Tilde [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way.
Clément Houtmann
doaj   +1 more source

A Proof Calculus Which Reduces Syntactic Bureaucracy [PDF]

, 2010
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logic-independent proof calculus, where proofs can be freely composed by connectives, and prove its basic properties.
Guglielmi, Alessio, Gundersen, Tom, Parigot, Michel   +2 more
openaire   +3 more sources

Characterizing the salivary RNA landscape to identify potential diagnostic, prognostic, and follow‐up biomarkers for breast cancer

Molecular Oncology, EarlyView.
This study explores salivary RNA for breast cancer (BC) diagnosis, prognosis, and follow‐up. High‐throughput RNA sequencing identified distinct salivary RNA signatures, including novel transcripts, that differentiate BC from healthy controls, characterize histological and molecular subtypes, and indicate lymph node involvement.
Nicholas Rajan, Irina Primac, Emre Etlioglu, Laurens Debruyne, Ann Janssen, Magy Sallam, Kevin Tabury, Roel Quintens, Wiebren Tjalma, Mohammed Abderrafi Benotmane   +9 more
wiley   +1 more source

A sequent calculus for a semi-associative law [PDF]

Logical Methods in Computer Science, 2019
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law ...
Noam Zeilberger
doaj   +1 more source

Adaptaquin is selectively toxic to glioma stem cells through disruption of iron and cholesterol metabolism

Molecular Oncology, EarlyView.
Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié, Davod R. Shah, Eliane E. S. Brechbühl, Michael McNicholas, Zhaoyang Xu, John H. Stockley, Laura Morcom, Diana Gold Diaz, Gemma C. Girdler, Rachel V. Seear, Gabriel Balmus, Rajiv R. Ratan, Harry Bulstrode, James A. Nathan, Manav Pathania, Kevin M. Brindle, David H. Rowitch   +16 more
wiley   +1 more source

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, EarlyView.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source