论文研究-基于蕴涵算子族.pdf

【文件属性】：
文件名称：论文研究-基于蕴涵算子族.pdf
文件大小：494KB
文件格式：PDF
更新时间：2022-09-26 11:27:30
论文研究 给出了蕴涵算子族NMP的FMP问题的反向三I算法的上确界计算公式和FMT问题的反向三I算法的下确界计算公式，并进一步得到了其一般化的[α]-反向三I算法的FMP（FMT）上（下）确界的计算公式。