Results 31 to 40 of about 85 (58)
Uniqueness of fixpoints of single-step operators determined by Belnap's four-valued logic [PDF]
, 2000 Recently, Hitzler and Seda showed how a domain-theoretic proof can be given of the fact that, for a locally hierarchical program, the single-step operator TP , de ned in two-valued logic, has a unique xed point.
Clifford, Eleanor, Seda, Anthony K.
core
The Structure of Generalized BI-algebras and Weakening Relation Algebras [PDF]
, 2020 Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean algebras with operators and lattices with operators.
Galatos, Nikolaos, Jipsen, Peter
core +1 more source
Dimension in algebraic frames, II: Applications to frames of ideals in $C(X)$ [PDF]
, 2005 summary:This paper continues the investigation into Krull-style dimensions in algebraic frames. Let $L$ be an algebraic frame. $\operatorname{dim}(L)$ is the supremum of the lengths $k$ of sequences $p_0< p_1< \cdots
Martínez, Jorge, Zenk, Eric R.
core
Lattice-theoretic properties of algebras of logic [PDF]
, 2020 In the theory of lattice-ordered groups, there are interesting examples of properties -such as projectability -that are defined in terms of the overall structure of the lattice-ordered group, but are entirely determined by the underlying lattice ...
Antonio Ledda +2 more
core
The existence of one-point connectifications
, 2017 P. Alexandroff proved that a locally compact $T_2$-space has a $T_2$ one-point compactification (obtained by adding a "point at infinity") if and only if it is non-compact.
Koushesh, M. R.
core
Epidemiology of perinatal mortality in rural Burkina Faso: A community-based prospective cohort study [PDF]
, 2013 Background: Perinatal mortality is one of the major public health problems in Sub-Saharan Africa. It is estimated that over 6 millions infant deaths occur each year during the perinatal period either as stillbirths or early neonatal deaths.
Diallo, Abdoulaye Hama
core
Drug induced degradation of driver proteins: A novel approach to target MLL-fusions [PDF]
, 2018 Acute leukaemias in infants are associated with inferior outcomes. The majority of infant acute leukaemia is characterized by balanced chromosomal translocations involving the mixed lineage leukaemia (MLL) gene.
Cantilena, Sandra
core
Identification of Regulatory Genes and Metabolic Processes Important for Alginate Biosynthesis in Azotobacter vinelandii by Screening of a Transposon Insertion Mutant Library. [PDF]
Front Bioeng Biotechnol, 2019 Mærk M +7 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches: