保持性定理相关论文
对广义逻辑L(Q)的一种保持性定理给予了证明。...
在无限长逻辑L ω1ω的一个子逻辑L ′ω1ω上建立了几个保持性定理....