PARTIAL INFORMATION AND ITS INFORMATION-S TRUCTURE

Almost all information systems have their own logic. A lot of logical systems have been created to capture various phenomenon. Classical log ic such as Propositional Logic is the representative example of logica l systems. And there is the one which was created to complement the de fect of classical logic. It is called Non-Classical Logic. The main ex ample of non-classical logic is called Intuitionistic Logic which was created to treat partial information. In this paper, we explain intuit ionistic logic briefly, then discuss the information structure based o n intuitionistic logic. And finally, we introduce intuitionistic-infor mation retrieval system. This paper is the preparation for developing the general theory of partial information and the theory of informatio n retrieval systems which can treat partial information.