Title :
Implication Algebra on a partially ordered set with s-property
Author :
Zhi-Wei Li ; Gui-hua Li
Author_Institution :
Sch. of Math. Sci., Capital Normal Univ., Beijing, China
Abstract :
Implication Algebra on a partially ordered set is a kind of algebraic abstraction of implicative connection in logic systems which values in a partially ordered set. The algebra is endowed with a condition, s-property, to form a kind of new algebra in this paper. Then the logic properties of the new algebra are proposed. The concept of valuation mapping from this new algebra into s-unit interval. And some properties of the valuation mapping are obtained.
Keywords :
algebra; fuzzy set theory; algebraic abstraction; logic systems; partially ordered set; s-property; s-unit interval; valuation mapping; Cost accounting; Fuzzy logic; Fuzzy sets; Lattices; Upper bound; fuzzy logic; implication algebra on a partially ordered set; s-property; valuation mapping;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-180-9
DOI :
10.1109/FSKD.2011.6019476
