Away is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also ...

In this paper we propose higher-order rewrite systems without bound variables. In order to prove their connuence under the assumption of orthogonality, we study a simple proof method which employs a characterization of the diamond property of a parallel reduction. By an application of the proof method, we obtain a new connuence result for orthogonal higher-order conditional rewrite systems.

Every theory we will consider will be in a language that has a name ṅ for each n ∈ ω. For example, the name for 2 ∈ ω in the language LΩ of arithmetic is the term “1 + 1”. The results stated will only apply to countable languages. This requirement is implicit in the hypothesis of the existence of an enumeration of all formulas with one free variable, for example. We also assume that formulas an...

In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...

A definite diagnosis of anterior myocardial infarction is often difficult to make in patients when a pattern of poor R wave progression in the precordial leads is present on the electrocardiogram. The purpose of this study was to determine whether a mathematical model could be devised to identify patients with anterior infarction among 102 consecutive patients with poor R wave progression. Each...

Shock waves are specific sound waves produced by shock-wave generators; the generators currently available have different physical properties and represent different technical solutions. The measurement of shock-wave pressure is necessary in laboratory settings to define the physical characteristics of a given shock-wave source. Under clinical conditions other variables, e.g. the stone-free rat...

The conservation equation for a monochromatic field with arbitrary polarization propagating in an inhomogeneous transparent medium is expressed in terms of amplitude and phase variables. The expressions obtained for linearly polarized fields are compared with the results obtained in the eikonal approximation. The electric field wave equation is written in terms of intensity and phase variables....

Characteristic points detection such as beginnings and ends of P-wave, T-wave or QRS complex is one of primary aims in automated analysis of ECG signal. The paper presents one possible approach based on Bayesian inference to design of kernel based classifier. The classification function is constructed using the probability distribution function of standard normal distribution and independent Ga...

Recently it was shown that the exact cosmological solutions known as the vacuum plane-wave solutions are late-time attractors for an open set of the spatially homogeneous Bianchi universes containing a non-inflationary γ-law perfect fluid. In this paper we study inhomogeneous perturbations of these plane-wave spacetimes. By using expansion-normalised scale-invariant variables we show that these...

The generalized coupled thermo-viscoelasticity of hollow sphere subjected to thermal symmetric shock load is presented in this paper. To overcome the infinite speed of thermal wave propagation, the Lord-Shulman theory is considered. Two coupled equations, namely, the radial equation of motion and the energy equation of a hollow sphere are obtained in dimensionless form. Resulting equations are ...