10.3969/j.issn.1674-8425.2011.08.009
函数完备性问题
首先回顾命题联结词集合函数完备性的历史发展情况,然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题,以及相关的逻辑常项问题.理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题.
函数完备性、逻辑常项、直觉主义逻辑、一阶逻辑
25
B81(逻辑学(论理学))
国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”10&ZD073
2012-02-21(万方平台首次上网日期,不代表论文的发表时间)
共5页
44-47,93