论文部分内容阅读
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。
In this paper, we discuss the template dependency of a class of null-value environment with its own valid and complete axiom system, and give the strong and weak conditions of template dependency.