Accession Number : ADP002355

Title :   Three-Valued Logic and Its Application to the Query Language of Incomplete Information,

Corporate Author : HIROSHIMA UNIV (JAPAN) DEPT OF APPLIED MATHEMATICS

Personal Author(s) : Nakamura,A.

Report Date : MAY 1983

Pagination or Media Count : 5

Abstract : Lipski has considered a mathematical model of incomplete information and discussed some problems related to it. Also, we introduced a second-order predicate logic corresponding to the query language and solved some interesting problems about the decidability of this language. This paper proposes a 3-valued (left brace 1,1/2,0 right brace) logic based on this model instead of the above second-order predicate logic. By the aid of this 3-valued logic we give an axiomatic system of this query language. (Author)

Descriptors :   *Mathematical logic, *Mathematical models, *Information retrieval, *Storage, *Symposia, Philosophy, Interrogation, Language, Japan

Distribution Statement : APPROVED FOR PUBLIC RELEASE