关于满足I(x,n(x))=n(x)的D-蕴涵的刻画

研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,n(x))=n(x)的充要条件。