Generalized Discontinuity
نویسندگان
چکیده
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a logic of strings. Like the Lambek calculus, the displacement calculus is a sequence logic free of structural rules, and enjoys Cut-elimination and its corollaries: the subformula property, decidability, and the finite reading property. The foci of this paper are a formulation with a finite number of connectives, and consideration of how to extend the calculus with defined connectives while preserving its good properties.
منابع مشابه
Generalized Modal Scattering Matrix of Discontinuity-distorted Waveguide Multiport Junctions
A generalized modal scattering matrix formulation is presented for the calculation of discontinuity-distorted waveguide multiport junctions. Unlike common approaches based on three-plane mode-matching techniques, and modifications thereof, which calculate only the fundamental-mode scattering matrix, this algorithm computes the generalized modal scattering matrix of the junction. Therefore, the ...
متن کاملSharpness characterization of the 410 km upper mantle discontinuity by fixed scale singularity analysis of converted phases
Parametric waveform, monoand multiscale analyses methods are used to characterize the properties of the 410 discontinuity. The characterization involves the estimation of the sharpness, smoothness and extent of this transition from Pds converted phases. In our approach sharpness is no longer associated with the extent of the first-order discontinuity. Instead, the sharpness is related to the fr...
متن کاملThe perturbed Riemann problem for the chromatog- raphy system of Langmuir isotherm with one inert component
The solutions of the perturbed Riemann problem for the chromatography system of Langmuir isotherm with one inert component are constructed in completely explicit forms when the initial data are taken as three piecewise constant states. The wave interaction problem is investigated in detail by using the method of characteristics. In addition, the generalized Riemann problem with the delta-type i...
متن کاملSpectral Viscosity Method with Generalized Hermite Functions and Its Spectral Filter for Nonlinear Conservation Laws
In this paper, we propose a new spectral viscosity method for the solution of nonlinear scalar conservation laws in the whole line. The proposed method is based on the generalized Hermite functions. It is shown rigorously that this scheme converges to the unique entropy solution by using compensated compactness arguments. The numerical experiments of the inviscid Burger’s equation support our r...
متن کاملAn Analysis of Junction Discontinuity Ef- Fects in the Multi-element Coupled Lines and Its Diminution at Designing Stage
The analysis and design of the multi-element coupled lines, in conjunction with the junction discontinuity effect, is presented, and its applicability in high power rf regime is discussed. Junctions are usually employed to connect two different coupled elements, which gives rise to undesirable reactance, i.e., junction discontinuity effect. These effects are found prominent in the high power co...
متن کاملOn Convergence of Difference Schemes for IBVP for Quasilinear Parabolic Equations with Generalized Solutions
For initial boundary value problem (IBVP) for onedimensional quasilinear parabolic equations with generalized solutions an usual linearized difference scheme is constructed. The uniform parabolicity condition 0 < k 1 ≤ k(u) ≤ k 2 is assumed to be fulfilled for the sign alternating solution u(x, t) ∈ ¯ D(u) only in the domain of exact solution values (unbounded nonlinearity). On the basis of the...
متن کامل