可达a-重言式相关硕士博士期刊学术论文

可达a-重言式相关论文

利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一......

期刊