DocumentCode :
389609
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
Volume :
5
fYear :
2002
fDate :
6-9 Oct. 2002
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-7437-1
Type :
conf
DOI :
10.1109/ICSMC.2002.1176380
Filename :
1176380
Link To Document :
بازگشت