We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...

four explicit finite difference schemes, including lax-friedrichs, nessyahu-tadmor, lax-wendroff and lax-wendroff with a nonlinear filter are applied to solve water hammer equations. the schemes solve the equations in a reservoir-pipe-valve with an instantaneous and gradual closure of the valve boundary. the computational results are compared with those of the method of characteristics (moc), a...

This paper extends the steepest descent method for Riemann-Hilbert problems introduced by Deift and Zhou in a critical new way. We present, in particular, an algorithm, to obtain the support of the Riemann-Hilbert problem for leading asymptotics. Applying this extended method to small dispersion KdV (Korteweg-de Vries) equation, we (i) recover the variational formulation of P. D. Lax and C. D. ...

In this work we develop some aspects of the theory of Hopf algebras to the context of autonomous map pseudomonoids. We concentrate in the Hopf modules and the Centre or Drinfel’d double. If A is a map pseudomonoid in a monoidal bicategory M , the analogue of the category of Hopf modules for A is an Eilenberg-Moore construction for a certain monad in Hom(M op,Cat). We study the existence of the ...

The activation of T cells and the initiation of an immune response is tightly controlled through the crosstalk of both positive and negative regulators. Two adaptors that function as negative regulators of T cell activation are adaptor in lymphocytes of unknown function X (ALX) and linker for activation of X cell (LAX). Previously, we showed that T cells from mice deficient in ALX and LAX displ...

We give the definitions of model bicategory and q-homotopy, which are natural generalizations notions category homotopy to context bicategories. For any C, denote by Cfc full sub-bicategory fibrant-cofibrant objects. prove that 2-dimensional localization C at weak equivalences can be computed as a Ho(C) whose objects arrows those 2-cells classes q-homotopies up an equivalence relation. When con...

The gauge-invariant description of zero-curvature representations of evolution equations is applied to the problem of how to distinguish the fake Lax pairs from the true Lax pairs. The main difference between the true Lax pairs and the fake ones is found in the structure of their cyclic bases. In this note, we use the gauge-invariant description of zero-curvature representations of evolution eq...

Lax Logic is an intuitionistic modal logic which has so far been investigated at the propositional level. It has shown itself to have applications in the formal veriication of hardware|a logical modality is used to capture and express the correctness of speciicationsùp to' behavioural constraints. A translation from Quantiied Lax Logic to a quantiied classical modal logic is presented which ena...