| 研究格值模型论的一种新方法 |
| |
| 引用本文： | 张玉平.研究格值模型论的一种新方法[J].北京师范大学学报(自然科学版),1992,28(4):420-425. |
| |
| 作者姓名： | 张玉平 |
| |
| 作者单位： | 北京师范大学数学系 100875 |
| |
| 摘 要： | 多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
|
| 关 键 词： | 多值模型 紧致性 格值模型论 |
A NEW APPROACH TO LATTICE-VALUED MODEL THEORY |
| |
| Zhang Yuping.A NEW APPROACH TO LATTICE-VALUED MODEL THEORY[J].Journal of Beijing Normal University(Natural Science),1992,28(4):420-425. |
| |
| Authors: | Zhang Yuping |
| |
| Abstract: | Multivalued formulae, models and other concepts concerned can be transformed into two-valued ones, and this process is invertible. Because of this fact, for finite value lattices, an economical way of studying lattice-valued model-theoretical problems can be given: Transform these problems into two-valued ones, and then transform the relative classical results into lattice-valued ones. |
| |
| Keywords: | multivalued formula multivalued model compactness |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
