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

A NEW APPROACH TO LATTICE-VALUED MODEL THEORY

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

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.