We investigate the extension of previous work by Krishnaswami et al. in [6] on Handwaving Logic, a logic that can be effectively modeled by Fairtlough and Mendler’s Lax Logic [4], towards trying to achieve a reasonable formalization of ”drunken logic.” More advanced formalizations of drunken logic fail to be modeled effectively by lax logic, and we argue that much more study deserves to be paid...

We consider some natural connections which arise between right-flat (p, q) para-conformal structures and integrable systems. We find that such systems may be formulated in Lax form, with a " Lax p-tuple " of linear differential operators, depending a spectral parameter which lives in (q − 1)-dimensional complex projective space. Generally, the differential operators contain partial derivatives ...

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...

We present an extension of the HLLC approximate Riemann solver by Toro, Spruce and Speares to the relativistic equations of fluid dynamics. The solver retains the simplicity of the original two-wave formulation proposed by Harten, Lax and van Leer (HLL) but it restores the missing contact wave in the solution of the Riemann problem. The resulting numerical scheme is computationally efficient, r...

An inner-outer factorization theorem for linear time-varying systems is obtained via an extension of the classical Beurling-Lax theorem to the time-varying context. This provides characteristic features of the inner factor, which can be used to compute realizations of the inner and outer factors from a realization of the given transfer operator. The resulting algorithm is unidirectional in time...

We employ a new second-order extension of the Lax±Friedrichs scheme, with incompressibility imposed by means of a projection algorithm, to follow the evolution of the vorticity and stress fields for a Maxwell fluid in a two-dimensional periodic system initialized with two thin and concentrated shear layers. The scheme is simple, efficient, and robust, and is capable, in particular, of resolving...

In this thesis we study relation liftings in the context of coalgebraic modal logic. In the first part of the thesis we look for conditions on relation liftings that can be used to define a notion of bisimilarity between states in coalgebras, such that two states are bisimilar if and only if they are behaviorally equivalent. We show that this is the case for relation liftings that are lax exten...

The Domain Name System Security Extension (DNSSEC) leverages public-key cryptography to provide data integrity, source authentication, and denial of existence for DNS responses. To complement DNSSEC operations, DNSSEC Look-aside Validation (DLV) is designed for alternative off-path validation. Although DNS privacy attracts a lot of attention, the privacy implications of DLV are not fully invest...

The lattice Gelfand-Dickey hierarchy is a version of the hierarchy. A special case KdV Inspired by recent work Buryak and Rossi, we propose an extension extended system has infinite number logarithmic flows alongside usual flows. We present Lax, Sato Hirota equations factorization problem difference operators that captures whole set solutions. construction this resembles 1D bigraded Toda hierar...