Three-Valued Logic and Its Application to the Query Language of Incomplete Information,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002355
Entities
People
- A. Nakamura
Organizations
- Hiroshima University