单射占优模型在非单调逻辑中具有重要的地位。目前,文献已报道了大量关于单射占优模型类的表示定理。但是,如何用证明论的性质来刻画所有单射推理关系仍然是非单调逻辑中最困难的问题之一。文献中已出现的假设类型没有能力来刻画这个类。这样就提出了一个有趣的理论问题:什么类型的单射模型类可以由现有的假设类型来刻画?本文旨在对该问题进行研究。具体而言,我们探讨了可用一般规则进行公理刻画的单射模型类的特征。主要工作包括:1.我们引入了一元二阶框架语言的概念,对?0可公理化和二阶可定义性之间的关系进行了仔细考察。我们对四点结构在破坏单射的归约保持性方面的作用进行了分析。在这些工作的基础上,我们建立了严格偏序结构类可用一般规则进行?0可公理化的充要性条件。2.我们提出了允许集的概念并对其性质进行了研究。在此基础上,我们证明了归约定理,即,任意不包含四点子结构的占优模型一定是某个单射模型的归约。3.我们提出了严格偏序结构类的归约封闭性,并在上述工作的基础上,利用一阶模型论,建立了单射占优模型类可用一般规则公理化的充分必要条件。