Title :
The Variable Truth Degree of Formula in a Propositional Logic with Rhombus Evaluation Lattice
Author_Institution :
Coll. of Math. & Inf. Sci., North China Univ. of Water Resources & Electr. Power, Zhengzhou, China
Abstract :
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 system associated with rhombus evaluation lattice and Gaines-Rescher implication operation, the fundamental nature of the variable truth degree is studied, the distribution of truth degree of formulae and inference rule based on truth degree are obtained, on the basis of which the inference degree´s numerical is proved.
Keywords :
fuzzy logic; inference mechanisms; multivalued logic; Gaines-Rescher implication operation; inference rule; linear evaluation lattice frame; propositional logic system; rhombus evaluation lattice; variable truth degree; Cognition; Conferences; Extraterrestrial measurements; IEEE Press; Lattices; Manganese; Presses; logic metric space; propostional logic; rhombus evaluation lattice; similarity degree; variable truth degree;
Conference_Titel :
Information Technology and Computer Science (ITCS), 2010 Second International Conference on
Conference_Location :
Kiev
Print_ISBN :
978-1-4244-7293-2
Electronic_ISBN :
978-1-4244-7294-9
DOI :
10.1109/ITCS.2010.52
