Title :
Four valued propositional logic system FL
Author :
Keyun, Qin ; Pei, Zheng ; Jianle, Wu ; Yang, Xu
Author_Institution :
Dept. of Appl. Math., Southwest Jiaotong Univ., Sichuan, China
Abstract :
This paper presents a four valued propositional logic system FL by using the method of free algebra. In this system, the truth values of formulae can be incomparable. The semantical and syntactical problems of FL are discussed. The soundness theorem, deduction theorem and adequacy theorem are given.
Keywords :
multivalued logic; theorem proving; FL logic; adequacy theorem; deduction theorem; four valued propositional logic system; free algebra; lattice valued logic; semantics; soundness theorem; syntax; truth values; Algebra; Cost accounting; Decision making; Humans; Lattices; Logic functions; Mathematics; Multivalued logic; Power system modeling; Uncertainty;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1176380