论文部分内容阅读
本文对Disjunctive命题的模型进行了研究。文章首先从理论模型角度研究Disjunc- tive命题理论,引入F-抽象模型、并建立相关的理论T(L)与T<*>(L)得到了一个稳定的dD-半格的逻辑表示;其次从模型的角度得到了全抽象模型以及自由模型等概念,讨论他们的性质和关系,得到了属模型和自然模型是抽象和自由的.此外对于不同的对象和对象间的映射,可以建立相应的范畴,因此为了考虑理论间的范畴引入了等子的概念并建立了两个理论间的映射-解释,从解释的角度得到两个重要结论,即含有等子的理论T与她的诱导理论是同构的以及含有等子的理论与理论问的解释构成的范畴与d-半格范畴等价。