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