Kleene系统相关硕士博士期刊学术论文 - 搜论网

Kleene系统相关论文

BL-代数的特征

证明任何BL-代数均为S-代数。...

期刊

布尔积 BL-代数 S-代数 Kleene系统 Boolean Products BL-alegbra S-algebra Kleene Syste

逻辑系统中重言式及广义重言式的关系

研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一......

期刊

重言式广义重言式多值逻辑系统参数 Kleene系统子代数 tautology generalized tautology manyvalued logi

自然科学：数学：数学逻辑与数学基础

修正的Kleene系统中的子代数的广义矛盾式；椭圆问题在三角网格剖分下的扩展混合体积元方法.......

期刊

数学基础数学逻辑自然科学 Kleene系统三角网格剖分广义矛盾式椭圆问题

看过本文同时还关注