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

可达α-重言式相关论文

研究了五个重要的多值逻辑系统Ｌｎ，Ｋｎ，Ｓｎ，Ｇｎ和Ｗｎ，讨论了这些系统子代数的特征及计数问题，以及这些系统的广义重言式理论，给出了这些系统子代数的特征......

期刊