Results 71 to 80 of about 25,817 (283)

Converting ALC Connection Proofs into ALC Sequents [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the
Eunice Palmeira, Fred Freitas, Jens Otten   +2 more
doaj   +1 more source

The Origins and Development of Sequent Calculi [PDF]

, 2014
In 1934 Gentzen developed sequent calculus as a technical device for the study of natural deduction. Soon it turned out to be one of the most important tools of modern proof theory. In this survey paper we characterize the general idea of sequent calculi
Indrzejczak, Andrzej
core  

Reconstructing enzyme evolution by protein engineering

FEBS Letters, EarlyView.
Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler, Markus R. Busch, Reinhard Sterner   +2 more
wiley   +1 more source

Investigating transcription factor dynamics in health and disease using FRAP

FEBS Letters, EarlyView.
FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj, Carolina Vazquez Garzon, Jose Joaquin Velasco, Janine N. Post   +3 more
wiley   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources

Loop-check free sequent calculi for unary fragment of temporal logic

Lietuvos Matematikos Rinkinys
This paper explores the construction of an efficient sequent calculus for a selected fragment of porpositional linear temporal logic (PLTL), extending the ideas of classical calculi discussed in [1], and builds upon previous investigations into the ...
Lukas Maksimiak, Adomas Birštunas
doaj   +1 more source

Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions

FEBS Letters, EarlyView.
The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang, Hyo Been Jin, Chang Min Kim, So Yeon Lee, Hyun Ho Park   +4 more
wiley   +1 more source

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Bulletin of the Section of Logic
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake   +7 more
doaj   +1 more source

Peripheral lysosomes recruit PLEKHG3 to focal adhesions and restrain protrusion dynamics

FEBS Letters, EarlyView.
Proximity‐dependent labeling at the LAMTOR complex revealed the Rho GEF PLEKHG3 as a lysosome‐proximal protein directing the study toward the influence of lysosome positioning on actin dynamics and cell motility. We show that PLEKHG3 colocalizes with lysosomes at focal adhesion sites and observe that forced peripheral dispersion of lysosomes hinders ...
Rainer Ettelt, Ana‐Maria Sandru, Georg Vucak, Sebastian Didusch, Biljana Riemelmoser, Karin Ehrenreiter, Markus Hartl, Lukas A. Huber, Manuela Baccarini   +8 more
wiley   +1 more source

Sequent and hypersequent calculi for abelian and łukasiewicz logics

ACM Transactions on Computational Logic, 2005
We present two embeddings of Łukasiewicz logicŁinto Meyer and Slaney's Abelian logicA, the logic of lattice-ordered Abelian groups. We give new analytic proof systems forAand use the embeddings to derive corresponding systems forŁ. These include hypersequent calculi, terminating hypersequent calculi, co-NP labeled sequent calculi, and unlabeled sequent
G., Metcalfe, Olivetti, Nicola, Gabbay, D. M.   +2 more
openaire   +5 more sources