Library and Information Science

Library and Information Science ISSN: 2435-8495
三田図書館・情報学会 Mita Society for Library and Information Science
〒108‒8345 東京都港区三田2‒15‒45 慶應義塾大学文学部図書館・情報学専攻内 c/o Keio University, 2-15-45 Mita, Minato-ku, Tokyo 108-8345, Japan
https://mslis.jp/ E-mail:mita-slis@ml.keio.jp
Library and Information Science 33: 71-81 (1995)
doi:10.46895/lis.33.71

短報Brief Communication

部分情報とその情報構造Partial information and its information structure

近畿大学Kinki University ◇ 〒577-8502 大阪府東大阪市小若江三丁目4番1号 ◇ Kowakae 3-4-1, Higashiosaka-shi, Osaka 577-8502, Japan

受付日:1995年11月9日Received: November 9, 1995
発行日:1996年3月31日Published: March 31, 1996
PDF

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.

This page was created on 2021-01-25T09:45:29.274+09:00
This page was last modified on


このサイトは(株)国際文献社によって運用されています。