Some aspects of the theory of Boolean algebras and distributive lattices -in particular, the Stone Representation Theorems and the properties of filters and ideals -are analyzed in a constructive setting.

In this paper we construct extensions of Set-monads – and, more generally, of lax Rel-monads – into lax monads of the bicategory Mat(V) of generalized V-matrices, whenever V is a well-behaved lattice equipped with a tensor product. We add some guiding examples.

We prove that there is a full and faithful nerve functor defined on the category 2-Cat lax of 2-categories and (normal) lax 2-functors. This functor extends the usual notion of nerve of a category and it coincides on objects with the so-called geometric nerve of a 2-category or of a 2-groupoid. We also show that (normal) lax 2-natural transformations produce homotopies of a special kind, and th...

Korean has two types of voiceless alveolar fricatives One is called aspirated and the other tense (Kagaya, 1974) The aspirated fricatives have also been called lax fricatives because phonolog1cally they act hke a lax obstruent, undergomg a set of processes that lax stops do For example, Korean lax stops and Isl undergo post-obstruent tensmg {Sohn 1999) Aspirated stops (e g, ch), however, do not...

Despite playing a central role in tolerance, little is known regarding the mechanism by which intracellular CTLA-4 is shuttled from the trans-Golgi network to the surfaces of T cells. In this context, Ras-related GTPase Rab8 plays an important role in the intracellular transport, while we have previously shown that CTLA-4 binds to the immune cell adaptor TRIM in T cells. In this study, we demon...

In  cite{GL}, B. Gerla and I. Leuc{s}tean introduced the notion of similarity on MV-algebra. A similarity MV-algebra is an MV-algebra endowed with a binary operation $S$ that verifies certain additional properties. Also, Chirtec{s} in cite{C}, study the notion of similarity on L ukasiewicz-Moisil algebras. In particular, strong similarity L ukasiewicz-Moisil algebras were defined. In this paper...

A Bargmann symmetry constraint is proposed for the Lax pairs and the adjoint Lax pairs of the Dirac systems. It is shown that the spatial part of the nonlinearized Lax pairs and adjoint Lax pairs is a finite dimensional Liouville integrable Hamiltonian system and that under the control of the spatial part, the time parts of the nonlinearized Lax pairs and adjoint Lax pairs are interpreted as a ...

In this paper we discuss the issue of conservation and convergence to weak solutions of several global schemes, including the commonly used compact schemes and spectral collocation schemes, for solving hyperbolic conservation laws. It is shown that such schemes, if convergent boundedly ahnost everywhere, will converge to weak solutions. The results are extensions of the classical Lax-Wendroff t...