• •    

函数完备性问题

刘新文   

  • 出版日期:2011-08-25 发布日期:2011-09-13

  • Online:2011-08-25 Published:2011-09-13

摘要: 首先回顾命题联结词集合函数完备性的历史发展情况,然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题,以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。