Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

Studia Logica ◽  
1993 ◽  
Vol 52 (1) ◽  
pp. 23-40 ◽  
Author(s):  
Tatsuya Shimura
Keyword(s):  
Constant Domain ◽  
Canonical Formulas ◽  
Intermediate Predicate Logics

Intermediate predicate logics determined by ordinals

1990 ◽  
Vol 55 (3) ◽  
pp. 1099-1124 ◽  
Author(s):  
Pierluigi Minari ◽  
Mitio Takano ◽  
Hiroakira Ono
Keyword(s):  
Predicate Logic ◽  
The Other ◽  
Constant Domain ◽  
Kripke Frames ◽  
Other Hand ◽  
Countable Ordinal ◽  
Intermediate Predicate Logics ◽  
Regular Ordinal

AbstractFor each ordinal α > 0, L(α) is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable η(> 0), there exists a countable ordinal of the form β + η such that L(α + η) = L(β + η). On the other hand, such a reduction of ordinals to countable ones is impossible for a logic L(α) if α is an uncountable regular ordinal. Moreover, it will be proved that the mapping L is injective if it is restricted to ordinals less than ωω, i.e. α ≠ β implies L(α) ≠ L(β) for each ordinal α, β ≤ ωω.

scholarly journals A comprehensive analysis of novel disulfide bond introduction site into the constant domain of human Fab

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Hitomi Nakamura ◽  
Moeka Yoshikawa ◽  
Naoko Oda-Ueda ◽  
Tadashi Ueda ◽  
Takatoshi Ohkuri
Keyword(s):  
Thermal Stability ◽  
Pichia Pastoris ◽  
Protein Stability ◽  
Disulfide Bond ◽  
Binding Activity ◽  
Comprehensive Analysis ◽  
The Other ◽  
Constant Domain ◽  
Intermolecular Disulfide Bond ◽  
Sds Page

AbstractGenerally, intermolecular disulfide bond contribute to the conformational protein stability. To identify sites where intermolecular disulfide bond can be introduced into the Fab’s constant domain of the therapeutic IgG, Fab mutants were predicted using the MOE software, a molecular simulator, and expressed in Pichia pastoris. SDS-PAGE analysis of the prepared Fab mutants from P. pastoris indicated that among the nine analyzed Fab mutants, the F130C(H):Q124C(L), F174C(H):S176C(L), V177C(H):Q160C(L), F174C(H):S162C(L), F130C(H):S121C(L), and A145C(H):F116C(L) mutants mostly formed intermolecular disulfide bond. All these mutants showed increased thermal stability compared to that of Fab without intermolecular disulfide bond. In the other mutants, the intermolecular disulfide bond could not be completely formed, and the L132C(H):F118C(L) mutant showed only a slight decrease in binding activity and β-helix content, owing to the exertion of adverse intermolecular disulfide bond effects. Thus, our comprehensive analysis reveals that the introduction of intermolecular disulfide bond in the Fab’s constant domain is possible at various locations. These findings provide important insights for accomplishing human Fab stabilization.

Canonical rules

2009 ◽  
Vol 74 (4) ◽  
pp. 1171-1205 ◽  
Author(s):  
Emil Jeřábek
Keyword(s):  
Alternative Proof ◽  
Finite Model ◽  
Consequence Relations ◽  
Model Property ◽  
Finite Model Property ◽  
Admissible Rules ◽  
Superintuitionistic Logics ◽  
Canonical Formulas ◽  
Global Consequence

AbstractWe develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia theorem and the theory of modal companions to systems of multiple-conclusion rules or (unitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property.

scholarly journals Canonical formulas via locally finite reducts and generalized dualities

10.29007/hgbj ◽  
2018 ◽  
Author(s):  
Nick Bezhanishvili
Keyword(s):  
Modal Logic ◽  
Intuitionistic Logic ◽  
Algebraic Approach ◽  
Modal Logics ◽  
Substructural Logic ◽  
Locally Finite ◽  
Canonical Formulas

The method of canonical formulas is a powerful tool for investigating intuitionistic and modal logics. In this talk I will discuss an algebraic approach to this method. I will mostly concentrate on the case of intuitionistic logic. But I will also review the case of modal logic and possible generalizations to substructural logic.

Introduction of lysine residues on the light chain constant domain improves the labelling properties of a recombinant Fab fragment

1995 ◽  
Vol 8 (2) ◽  
pp. 185-191 ◽  
Author(s):  
Ari Hemminki ◽  
Anna-Marja Hoffrén ◽  
Kristiina Takkinen ◽  
Markus Vehniäinen ◽  
Maija-Liisa Mäkinen ◽  
...  
Keyword(s):  
Light Chain ◽  
Fab Fragment ◽  
Constant Domain ◽  
Lysine Residues

Complement activation by IgM: evidence for the importance of the third constant domain of the μ heavy chain

1987 ◽  
Vol 17 (4) ◽  
pp. 549-554 ◽  
Author(s):  
Marc J. Shulman ◽  
Catherine Collins ◽  
Nancy Pennell ◽  
Nobumichi Hozumi
Keyword(s):  
Heavy Chain ◽  
Complement Activation ◽  
The Third ◽  
Constant Domain

CANONICAL FORMULAS FOR wK4

2012 ◽  
Vol 5 (4) ◽  
pp. 731-762 ◽  
Author(s):  
GURAM BEZHANISHVILI ◽  
NICK BEZHANISHVILI
Keyword(s):  
Canonical Formulas

AbstractWe generalize the theory of canonical formulas for K4, the logic of transitive frames, to wK4, the logic of weakly transitive frames. Our main result establishes that each logic over wK4 is axiomatizable by canonical formulas, thus generalizing Zakharyaschev’s theorem for logics over K4. The key new ingredients include the concepts of transitive and strongly cofinal subframes of weakly transitive spaces. This yields, along with the standard notions of subframe and cofinal subframe logics, the new notions of transitive subframe and strongly cofinal subframe logics over wK4. We obtain axiomatizations of all four kinds of subframe logics over wK4. We conclude by giving a number of examples of different kinds of subframe logics over wK4.

Sign in / Sign up

Export Citation Format

Share Document