On the Problem of Functional Completeness
Liu Xin-wen · 2011
After surveying the historical development of the functional completeness of the set of proposition connectives,this paper presents the problems of functional completeness in intuitionistic logic and first-order logic,which raise the problem of logical constants.The philosophical consequence of this kind of problems is the problem of logicality which plays a fundamental role in logic.