Results 81 to 90 of about 2,868 (293)
A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
, 2010 Gentzen’s thesis proved the equivalence of natural deduction, sequent calculus, and axiomatic logic through a cycle of translations. Mysteriously, even normal derivations in natural deduction got translated into sequent derivations with cuts. It is shown
JAN VON PLATO
core +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
, 2008 hesis for the moment, the main judgment w 1 :A 1 res; : : : ; wn :An res =) C goal expresses Under the linear hypothesis that we have resources A 1 ; : : : ; An we can achieve goal C.
Sequent Calculus In
core
A Systematic Approach to Canonicity in the Classical Sequent Calculus
, 2012 International audienceThe sequent calculus is often criticized for requiring proofs to contain large amounts of low-level syntactic details that can obscure the essence of a given proof.
Hetzl, Stefan +2 more
core +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Encoding transition systems in sequent calculus
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Raymond McDowell +2 more
openaire +1 more source
FEBS Letters, EarlyView.An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
Molecular Oncology, EarlyView.Aptamers are used both therapeutically and as targeting agents in cancer treatment. We developed an aptamer‐targeted PLGA–TRAIL nanosystem that exhibited superior therapeutic efficacy in NOD/SCID breast cancer models. This nanosystem represents a novel biotechnological drug candidate for suppressing resistance development in breast cancer.
Gulen Melike Demirbolat +8 more
wiley +1 more source
A Sequent Calculus for a Negative Free Logic [PDF]
Studia Logica, 2010 By the term ``free logic'', K. Lambert characterized those logics which, roughly, do not necessarily enjoy existential presupposition. They are interesting not only philosophically but also in relation to a formal approach in computer science. In considering the validity of an expression containing a ``non-existing'' term, there are some different ...
openaire +3 more sources
Molecular Oncology, EarlyView.In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge +17 more
wiley +1 more source