G-restricted implication degree and approximate reasoning in two-valued propositional logic
Ting‐Ming Wang · Computer Engineering and Applications Journal · 2010
Based on the deducing thought from the formula A to B under a certain info restriction and the truth degree is also consideredt,he implication degree of the formula under the control of the finite-info restriction is defined in two-valued propositional logic system.And hence,the definition of the implication measurement of the info restriction is obtained.Through the expressions of the implication measurement,a series of inequalities can be gotten which are relative to the con-clusion set in finite theory.Meanwhile the approximate reasoning problems is discussed which resulted from the info-restrict-ed implication measurement in two-valued propositional logic.