命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 (2007年)

【文件属性】：

文件名称：命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 (2007年)

文件大小：306KB

文件格式：PDF

更新时间：2024-06-06 16:11:39

自然科学 论文

摘要:从结构上清楚地描述了极大和谐理论的构造，证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hau