DocumentCode
311696
Title
A proof method for the six-valued logic for incomplete information
Author
Akama, Seiki
Author_Institution
Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
fYear
1997
fDate
28-30 May 1997
Firstpage
223
Lastpage
226
Abstract
O. Garcia and M. Moussavi (1990) proposed a six-valued logic to model incomplete information. Although their logic is promising, it lacks a proof theory to serve as a basis for automated reasoning. We describe a sequent style proof method for the logic and show that the consequence relation in the logic is equivalent to the one by N.D. Belnap´s (1977) four-valued logic. We also suggest alternative formal interpretations for the logic
Keywords
inference mechanisms; multivalued logic; automated reasoning; consequence relation; formal interpretations; incomplete information; sequent style proof method; six-valued logic; Artificial intelligence; Calculus; Heart; History; Information systems; Laboratories; Lattices; Multivalued logic; Upper bound;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location
Antigonish, NS
Print_ISBN
0-8186-7910-7
Type
conf
DOI
10.1109/ISMVL.1997.601401
Filename
601401
Link To Document