L(Q)逻辑相关硕士博士期刊学术论文

对一种附加量词L（Q）逻辑的一些模型论性质进行了讨论，用构造性证明方法证明了完全理论T和模型完全的一些等价条件，还给出了完全理论T的......