We consider the task of theorem proving in Lambek calculi and their generalisation to \multimodal residuation calculi". These form an integral part of categorial logic, a logic of signs stemming from categorial grammar, on the basis of which language processing is essentially theorem proving. The demand of this application is not just for e cient processing of some or other speci c calculus, bu...

The interindividual-intergroup discontinuity effect is the tendency for relationships between groups to be more competitive than the relationships between individuals. It has been observed robustly in studies conducted in the United States, a society characterized as “individualistic”. In this study, it was explored whether the effect was replicable in a “collectivistic” society such as Japan. ...

A steady-state analytical solution is given describing the temperature distribution in a homogeneous massif perturbed by cold water flow through a discrete vertical fracture. A relation is derived to express the flow rate in the fracture as a function of the temperature measured in the surrounding rock. These mathematical results can be useful for tunnel drilling as it approaches a vertical col...

deformation pattern of the northeastern part of the iranian-arabian collision zone (i.e., mainly sanandaj-sirjan belt or zone) is the main concern of this paper. here, we investigate the stress distribution and displacement pattern of eghlid-deh bid area as affected by the position of zagros suture using a three dimensional mechanical model. the modeled area is located between the zagros thrust...

We analyze Bouguer anomalies in/around the focal region of the 2016 Kumamoto earthquake to examine features, such as continuity, segmentation and faulting type, of the active fault zones related to the earthquake. Several derivatives and structural parameters calculated from a gravity gradient tensor are applied to highlight the features. First horizontal and vertical derivatives, as well as a ...

In this study, nonlinear wave phenomena related to reections and transmissions of the phase-inversion-waves around the discontinuity of the system consisting of two parts of coupled van der Pol oscillators are investigated. Behavior of the phase-inversion-waves around a discontinuity in a coupled system consisting of two kinds of arrays of van der Pol oscillators classi ed into 8 types by compu...

The modulation instability of surface capillary-gravity water waves is analysed in a shear flow model with tangential discontinuity velocity. It assumed that air blows along the uniform profile vertical direction. Such model, despite its simplicity, plays an important role hydrodynamics as reference for investigating basic physical phenomena wave–current interactions and acquiring insights into...