模型完全性相关论文
作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域......
模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证......
模型论在抽象代数，数论等很多经典数学中有着广泛的应用．本文给出了任意实闭有序域H的一个性质，并给予了证明．......
传统条件句逻辑研究的条件句没有明显提述条件句的背景．本文提出了一种明显提述背景的条件句逻辑BCS，并证明了该系统相对于Veltman提......
