Notes on Two Kinds of Iterative Boolean-like Laws
Hongxia Zhang · Jiangxi kexue · 2008
The iterative boolean-like law I(x,y)=I(x,I(x,y)) of SD(TD)-QL implications is discussed and the sufficient and necessary conditions for of SD(TD)-QL implications to satisfy iterative boolean-like law are given;then the iterative boolean-like law S(a,b)=S(T(a,b),T(S(a,b),N(T(a,b)))) is investigated and two sufficient conditions for standard theories(,T,S,N) to satisfy the iterative boolean-like law are given.