We study a general proof-theoretical framework for logic programming, the so called uniform proofs. We consider several logic programming systems derived in a natural way from logical proof systems (namely, from classical, intuitionistic, minimal, positive, relevance, or paranormal sequent calculi). Our result is the construction of proof-theoretical logic programming systems for philosophicall...

this paper presents a theoretical approach to implementation of the “multi-realization of nonlinear mimo systems”. this method aims to find state-variable realization for a set of systems, sharing as many parameters as possible. in this paper a special nonlinear multi-realization problem, namely the multi-realization of feedback linearizable nonlinear systems is considered and an algorithm for ...

Myosin V was the first discovered processive motor from the myosin family. It has therefore been subject of a number of mechanical, kinetic, optical and structural studies and now belongs to the best characterised motor proteins. This effort has been accompanied by a number of different theoretical models. In this article we give an overview of them and discuss what they have in common and wher...

The paper presents a set-theoretical definition of the classification problem, and then discusses and illustrates by examples the application of the variable-valued logic system VL. to the synthesis of minimal (or simplest) classification rules under cost (or simplicity) functionals designed by a user from available criteria.

This paper addresses the question whether innovation is within reach for small enterprises in developing economies by studying four cases of new technologies, products and business practices in traditional craft in Northern Vietnam. The paper starts with reviewing definitions of innovation since Schumpeter. It concludes that newness, value creation and process are time and again considered as t...