In this paper, we deal with various induction principles incorporated in an underlying tableau calculus with equality. The induction formulae are restricted to literals. Induction is formalized as modiied closure conditions which are triggered by applications of the-rule. Examples dealing with (weak forms of) arithmetic and strings illustrate the simplicity and usability of our induction handli...

The Lean Philosophy emphasizes one basic point – ‘Doing more with less’. This article outlines a simple-to-understand three step road-map that can help an organization embark on its journey towards lean transformation. The first is a cultural revamp of getting the lean spirit through to everyone. Step two is to develop the organization’s current state value stream map, scan for improvement oppo...

With the ongoing global pressure of cost cutting and quality focus, many companies have been implementing “lean manufacturing” concepts to survive in this competitive marketplace. “Lean” concepts have found their place in manufacturing and service industries; an important key to eliminating waste and delivering value to the customers. Thus, it is imperative that engineering management graduates...

BACKGROUND Lean thinking as a quality improvement approach is introduced in hospitals worldwide, although evidence for its impact is scarce. Lean initiatives are social, complex and context-dependent. This calls for a shift from cause-effect to conditional attributions to understand how lean works. In this study, we bring attention to the transformative power of local translation, which creates...