Title :
A proof method for the six-valued logic for incomplete information
Author_Institution :
Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
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;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601401
