Results 91 to 100 of about 1,739 (283)
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
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
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
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core
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 +2 more
openaire +3 more sources
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
Equality Reasoning in Sequent-Based Calculi
, 2001 This chapter describes automated reasoning techniques for all main sequent-based methods of automated deduction, including the tableau method, the connection method, model elimination, and the inverse method.
Degtyarev, Anatoli +3 more
core +1 more source
Streamlining Input/Output Logics with Sequent Calculi
, 2023 Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the
Ciabattoni, Agata, Rozplokhas, Dmitrii
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 +3 more sources
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source