排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
Lukasiewicz逻辑系统中的广义重言式理论 总被引：14，自引：1，他引：13
将逻辑系统－／Ｗ,Ｗ,Ｗｋ中的广义重言式理论进行推广并应用到Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中,主要结果是：得到了逻辑公式集Ｆ（Ｓ）在系统中关于同余的分划;证明了在该逻辑系统中对每个无理数α而言,不存在可达α－重言式,且对每个实数α而言式不存在可达α＾＋－重言式,给出了广义重言式、广义矛盾式各类之间的关系定理。 相似文献
2.
赋值格中一种混合运算的性质和应用 总被引：3，自引：0，他引：3
研究了R0－代数、格蕴涵代数和基本逻辑代数；讨论了一般赋值格中一种混合运算的性质，特别是对这种混合运算在R0－代数中的性质进行了讨论，并应用它建立了R0－代数中的一种滤子，得到了一些结果，为R0－代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。 相似文献
1