Title :
Tautologies in some lattice-valued logic systems
Author :
Li, Hai-ming ; Qin, Ke-yun ; Xu, Yang
Author_Institution :
Dept. of Comput., Tangshan Normal Coll., Hebei, China
Abstract :
In this paper, the tautologies in some lattice-valued logic systems whose truth-values fields are lattices are formed by direct product of two lattice implication algebras, α-tautologies and F-tautologies are also discussed. As two examples, the tautologies in lattice-valued systems of L4P (X) and L6P (X) are discussed.
Keywords :
computational complexity; fuzzy logic; logic design; process algebra; α-tautologies; F-tautologies; lattice implication algebras; lattice-valued logic systems; truth-values fields; Algebra; Automatic control; Circuit synthesis; Control systems; Databases; Educational institutions; Knowledge representation; Lattices; Logic functions; Multivalued logic;
Conference_Titel :
Machine Learning and Cybernetics, 2003 International Conference on
Print_ISBN :
0-7803-8131-9
DOI :
10.1109/ICMLC.2003.1259947
