T约简相关硕士博士期刊学术论文

在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命......