The Variable Truth Degree of Formula in a Propositional Logic with Rhombus Evaluation Lattice

Author

Zuo, Weibing

Author_Institution

Coll. of Math. & Inf. Sci., North China Univ. of Water Resources & Electr. Power, Zhengzhou, China

fYear

2010

fDate

24-25 July 2010

Firstpage

186

Lastpage

189

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ITCS.2010.52

Filename

5557155