IEEE - Institute of Electrical and Electronics Engineers, Inc. - The Variable Truth Degree of Formula in a Propositional Logic with Rhombus Evaluation Lattice

2010 2nd International Conference on Information Technology and Computer Science (ITCS 2010)

Author(s): Weibing Zuo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2010
Conference Location: Kiev, Ukraine, Ukraine
Conference Date: 24 July 2010
Page(s): 186 - 189
ISBN (Electronic): 978-1-4244-7294-9
ISBN (Paper): 978-1-4244-7293-2
DOI: 10.1109/ITCS.2010.52
Regular:

Quantified logic in the many-valued logic system is established by Wang G J, which is based on linear evaluation lattice frame. The variable truth degree is defined in the propositional logic... View More

Advertisement