论文部分内容阅读
Bellissima证明KAltn的正规扩张都是典范的,并且给出了一族连续统多的无有穷模型性的逻辑,本文构造出了KAltn的另一族连续统多的正规扩张,并且证明它们与Bellissima给出的颇为不同,它们要小得多,并且都具有有穷模型性。
K Altn的另一族正规扩张
【摘 要】
：
Bellissima证明KAltn的正规扩张都是典范的,并且给出了一族连续统多的无有穷模型性的逻辑,本文构造出了KAltn的另一族连续统多的正规扩张,并且证明它们与Bellissima给出的颇
【机 构】
：
中国人民大学哲学院
【出 处】
：
逻辑学研究
【发表日期】
：
2013年2期
【基金项目】
：
国家社会科学基金项目08CZX020, 中国人民大学科学研究基金项目10XNL012, 中国人民大学哲学院985工程三期建设项目的资助
其他文献
莱曼（S. Lehmann）的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值，包含空词项的句子缺乏所指，而只有涵义，那么这样的句子不真也不假。莱曼的文章刻