宋方敏.部分模型之间的一些代数关系(英文)[J].数学研究及应用,1991,11(1):139~142 |
部分模型之间的一些代数关系(英文) |
Some Algebraic Relations Between p-models |
投稿时间:1989-03-02 |
DOI:10.3770/j.issn:1000-341X.1991.01.028 |
中文关键词: |
英文关键词: |
基金项目: |
|
摘要点击次数: 1829 |
全文下载次数: 1328 |
中文摘要: |
我们把部分模型定义成三值逻辑的模型.对于Kleene语义,我们讨论部分模型之间的一些代数关系,并用图方法刻划了这些关系.证明了部分模型上某些算子的不动点定理.文中所讨论的代数关系对发展三值逻辑的模型起一定的作用. |
英文摘要: |
We define the partial models as the models of 3-valued logic. The Kleene semantics for the first-order language is given. Some algebraic relations between p-models, such as isomorphism, homomorphism and extension, are discussed. Us-ing the method of diagram, we give another description of these relations. The fixed point theorem is proved for certain operators on p-models. |
查看全文 查看/发表评论 下载PDF阅读器 |
|
|
|