开放逻辑中的合理事实反驳模型类

CLASS OF MODELS FOR A REJECTION BY REASONABLE FACTS

本文给出了开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质．通过给定一假说中句子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子．

This paper defines classes of models for rejections by reasonable facts and presents some of their important properties.With the help of a linear ordering on a hypothesis ,the so-called maximal initial segment reconstruction of is obtained and a concrete example for classes of models for rejection by reasonable facts is given.