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

The Cimmerian blocks are ribbons-like micro-continents that detached from the northern margin of Gondwana during closure Paleotethys ocean at end Permian. While it has been hypothesized slab pull forces induced by subduction beneath Eurasia could have driven extension in lower plate after mid-oceanic ridge subduction, so far, numerical modeling studies concluded these alone not sufficient to dr...

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

Knowledge management research needs consistent and empirically supported theory for sound foundations. Our research seeks to understand how to extend established organization theory and emerging knowledge-flow theory to inform the design of organizations through development of empirical theory. Because knowledge flows enable workflows, and workflows drive performance, theory suggests the organi...

When modelling a chemical process, a modeller is usually required to handle a wide variations in time and/or length scales of its underlying differential equations by eliminating either the faster or slower dynamics. When compelled to deal with both and simultaneously simplify model structure, he/she is sometimes forced to make decisions that render the resulting model discontinuous. Discontinu...

We reveal that realistic fluids generate microscopic-level discontinu-ity constantly and the discontinuity spreads out with motion of particles rather rapidly and widely. These things cannot be treated by the standard kinetic equations, and thus the existing fluid theories, macroscopic ones and microscopic ones, need to be revised considerably. It has been unanimously believed that the followin...

Pelvic discontinuity represents a rare but challenging problem for orthopaedic surgeons. It is most commonly encountered during revision total hip replacement, but can also result from an iatrogentic acetabular fracture during hip replacement. The general principles in management of pelvic discontinuity include restoration of the continuity between the ilium and the ischium, typically with some...