Results 81 to 90 of about 170,706 (312)
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Imeglimin attenuates liver fibrosis by inhibiting vesicular ATP release from hepatic stellate cells
FEBS Letters, EarlyView.Imeglimin, at clinically relevant concentrations, inhibits vesicular ATP accumulation and release from hepatic stellate cells, thereby attenuating purinergic signaling and reducing fibrogenic activation. This mechanism reveals a newly identified antifibrotic action of imeglimin beyond glycemic control.
Seiji Nomura +8 more
wiley +1 more source
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
, 2015 We present a labelled sequent calculus for Boolean BI, a classical variant of O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination.
Gore, Rajeev, Hou, Zhe, Tiu, Alwen
core +1 more source
A Usage-Aware Sequent Calculus for Differential Dynamic Logic [PDF]
, 2023 Myra Dotzel +2 more
openalex +1 more source
RAD50 missense variants differentially affect the DNA damage response and mitotic progression
FEBS Letters, EarlyView.RAD50 incorporates into the MRN complex and initiates the DNA damage response. Furthermore, RAD50 promotes mitotic progression. RAD50 missense variants capable of forming an MRN complex supported the DNA damage response and mitotic features to different extents in complementation experiments, indicating these functions are separable and might impact ...
Hanna Redeker +9 more
wiley +1 more source
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus [PDF]
, 2014 Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system.
Arisaka, Ryuta
core
Plasmodium falciparum gametogenesis essential protein 1 (GEP1) is a transmission‐blocking target
FEBS Letters, EarlyView.This study shows Plasmodium falciparum GEP1 is vital for activating sexual stages of malarial parasites even independently of a mosquito factor. Knockout parasites completely fail gamete formation even when a phosphodiesterase inhibitor is added. Two single‐nucleotide polymorphisms (V241L and S263P) are found in 12%–20% of field samples.
Frederik Huppertz +5 more
wiley +1 more source
Sequent Calculi for the Modal µ-Calculus over S5 [PDF]
, 2017 We present two sequent calculi for the modal µ-calculus over S5 and prove their completeness by using classical methods. One sequent calculus has an analytical cut rule and could be used for a decision procedure the other uses a modified version of the ...
Alberucci, Luca
core
A System of Interaction and Structure
, 2007 This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved therein.
Alessio Guglielmi +8 more
core +1 more source
FEBS Letters, EarlyView.Angiotensin II (AngII), a neuropeptide, interacts with amyloid‐β (Aβ), a key player in Alzheimer's disease. This study reveals that AngII reduces Aβ aggregation and membrane disruption in vitro. Biophysical assays and molecular modeling suggest AngII binds disordered Aβ forms, potentially modulating early amyloidogenic events and contributing to ...
Mohsen Habibnia +5 more
wiley +1 more source