Library and Information Science

Almost all information systems have their own logic. A lot of logical systems have been created to capture various phenomenon. Classical logic such as Propositional Logic is the representative example of logical systems. And there is the one which was created to complement the defect of classical logic. It is called Non-Classical Logic. The main example of non-classical logic is called Intuitionistic Logic which was created to treat partial information. In this paper, we explain intuitionistic logic briefly, then discuss the information structure based on intuitionistic logic. And finally, we introduce intuitionistic-information retrieval system.

This paper is the preparation for developing the general theory of partial information and the theory of information retrieval systems which can treat partial information.