Results 91 to 100 of about 170,706 (312)
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
, 2017 We present a sequent calculus for the modal Grzegorczyk logic Grz allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.Comment: WOLLIC'17, 12 pages, 1 ...
A Avron +5 more
core +1 more source
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus [PDF]
, 2022 Agata Tomczyk +1 more
openalex +1 more source
FEBS Letters, EarlyView.Atovaquone is an antimalarial requiring potentiation for sufficient efficacy. We pursued strategies to enhance its activity, showing that 4‐nitrobenzoate inhibits 4‐hydroxybenzoate polyprenyltransferase, decreasing ubiquinone biosynthesis. Since atovaquone competes with ubiquinol in mitochondria, 4‐nitrobenzoate facilitates its action, potentiating ...
Ignasi Bofill Verdaguer +7 more
wiley +1 more source
FEBS Letters, EarlyView.Cells must clear mislocalized or faulty proteins from membranes to survive. The AAA+ ATPase Msp1 performs this task, but dissecting how its six subunits work together is challenging. We engineered linked dimers with varied numbers of functional subunits to reveal how Msp1 subunits cooperate and use energy to extract proteins from the lipid bilayer ...
Deepika Gaur +5 more
wiley +1 more source
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
, 2016 In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e.
Andrzej Indrzejczak
semanticscholar +1 more source
FEBS Letters, EarlyView.Phototrophs evolved light‐harvesting systems adapted for efficient photon capture in habitats enriched in far‐red radiation. A subset of eukaryotic pigment‐binding proteins can absorb far‐red photons via low‐energy chlorophyll states known as red forms.
Antonello Amelii +8 more
wiley +1 more source
Elimination of loop-check for logic of idealized knowledge
Lietuvos Matematikos Rinkinys, 2009 In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj +1 more source
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL
Italian Conference on Computational Logic, 2021 Asta Halkjær From +2 more
semanticscholar +1 more source
Rad27/FEN1 prevents accumulation of Okazaki fragments and ribosomal DNA copy number changes
FEBS Letters, EarlyView.The budding yeast Rad27 is a structure‐specific endonuclease. Here, the authors reveal that Rad27 is crucial for maintaining the stability of the ribosomal RNA gene (rDNA) region. Rad27 deficiency leads to the accumulation of Okazaki fragments and changes in rDNA copy number.
Tsugumi Yamaji +3 more
wiley +1 more source
On the semantics of proofs in classical sequent calculus [PDF]
, 2023 Fabio Massaioli
openalex +1 more source