| 宋方敏.部分模型之间的一些代数关系(英文)[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 |
| 中文关键词: |
| 英文关键词: |
| 基金项目: |
|
| 摘要点击次数: 1799 |
| 全文下载次数: 1300 |
| 中文摘要: |
| 我们把部分模型定义成三值逻辑的模型.对于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阅读器 |
|
|
|
