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.