研究格值模型论的一种新方法  

A NEW APPROACH TO LATTICE-VALUED MODEL THEORY

作　　者：张玉平[1] 

机构地区：[1]北京师范大学数学系,北京新外大街100875

出　　处：《北京师范大学学报（自然科学版）》1992年第4期420-425,共6页Journal of Beijing Normal University(Natural Science)

基　　金：国家教委博士点基金

摘　　要：多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.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.

关 键 词：多值模型 紧致性 格值模型论 

分 类 号：O141.4[理学—数学]