Implication Algebra on a partially ordered set with s-property
Zhiwei Li, LI Gui-hua · 2011
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.