Results 81 to 90 of about 25,817 (283)
Generic Methods for formalising sequent Calculi Applied to provability logic [PDF]
, 2016 We describe generic methods for reasoning about multiset-based sequent calculi which allow us to combine shallow and deep embeddings as desired. Our methods are modular, permit explicit structural rules, and are widely applicable to many sequent ...
Dawson, Jeremy, Gore, Rajeev
core +1 more source
Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network
FEBS Letters, EarlyView.Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley +1 more source
Uniform interpolation and the existence of sequent calculi
Annals of Pure and Applied Logic, 2019 A propositional logic \(L\) has \textit{uniform interpolation} if for every formula \(\phi\) and variable \(p\), there are formulas \(\forall p\,\phi\) and \(\exists p\,\phi\) not containing \(p\) such that \begin{align*} \vdash_L\psi\to\phi&\iff\vdash_L\psi\to\forall p\,\phi,\\ \vdash_L\phi\to\psi&\iff\vdash_L\exists p\,\phi\to\psi \end{align*} for ...
openaire +5 more sources
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
, 2016 International audienceWe present new sequent calculi for Lewis' logics of coun-terfactuals. The calculi are based on Lewis' connective of comparative plausibility and modularly capture almost all logics of Lewis' family.
Olivetti, Nicola +3 more
core +1 more source
Sequent calculi and decidability for intuitionistic hybrid logic
Information and Computation, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galmiche, Didier, Salhi, Yakoub
openaire +4 more sources
Sequent calculi for nominal tense logics: a step towards mechanization
, 1999 . We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π 0 1-formulae and Π 0 2-formulae. The calculi are based on d’Agostino and Mondadori’s calculus KE and therefore
Stéphane Demri, Demri, Stéphane
core +1 more source
Terminating Sequent Calculi for Two Intuitionistic Modal Logics [PDF]
, 2020 This paper presents sequent calculi in which proof search is terminating for two intuitionistic modal logics, the intuitionistic versions of the classical modal logics K and KD without a diamond operator.
Iemhoff, Rosalie
core
FEBS Letters, EarlyView.Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell +2 more
wiley +1 more source