一些多值狭义谓词演算中的标准形

NORMAL FORMS IN LATTICE VALUED PREDICATE CALCULI

本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。在我们所讨论的多值谓词演算中。

We prove in this article theorems about the existence of prenex normal forms and Skolem normal forms in some lattice valued first order predicate calculi. The purpose of this discussion is to prepare the way for the study of decision problems and of model theoretical problems. But the discussion is also of interest in itself.