10.3969/j.issn.1674-8425(s).2013.09.004
模态逻辑典范框架几个侧面
对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究.为此,总结了关于典范框架的几个侧面的事实.
正规模态逻辑、典范框架、有界态射像、生成子框架
27
B81(逻辑学(论理学))
国家社会科学基金项目08CZX020;中国人民大学科学研究基金项目10XNL012;中国人民大学哲学院985工程三期建设项目资助
2013-11-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
21-26