منابع مشابه
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for implicational S4—which to our knowledge is the first reported single axiom for that system—and several new shortest single axioms for implicational S5. A variety of automated reasoning strategies were essential to our d...
متن کاملThe Topological Product of S4 and S5
The most obvious bimodal logic generated from unimodal logics L1 and L2 is their fusion, L1 ⊗L2, axiomatized by the theorems of L1 for 1 and of L2 for 2, and by the rules of modus ponens, substitution and necessitation for 1 and for 2. Shehtman introduced the frame product L1×L2, as the logic of the products of certain Kripke frames. Typically, L1 ⊗ L2 ( L1 × L2, e.g. S4⊗ S4 ( S4× S4. Van Benth...
متن کاملContribution of S4 segments and S4-S5 linkers to the low-voltage activation properties of T-type CaV3.3 channels
Voltage-gated calcium channels contain four highly conserved transmembrane helices known as S4 segments that exhibit a positively charged residue every third position, and play the role of voltage sensing. Nonetheless, the activation range between high-voltage (HVA) and low-voltage (LVA) activated calcium channels is around 30-40 mV apart, despite the high level of amino acid similarity within ...
متن کاملN-type inactivation and the S4-S5 region of the Shaker K+ channel
The intracellular segment of the Shaker K+ channel between transmembrane domains S4 and S5 has been proposed to form at least part of the receptor for the tethered N-type inactivation "ball." We used the approach of cysteine substitution mutagenesis and chemical modification to test the importance of this region in N-type inactivation. We studied N-type inactivation or the block by a soluble in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Matemática Complutense
سال: 2002
ISSN: 1988-2807,1139-1138
DOI: 10.5209/rev_rema.2002.v15.n1.16935