《謝弗函數(shù)研究》是關(guān)于邏輯聯(lián)結(jié)詞謝弗函數(shù)的研究。自1913年謝弗提出這一功能完備的布爾聯(lián)結(jié)詞以來，關(guān)于它的研究已經(jīng)形成一個(gè)傳統(tǒng)。20世紀(jì)50年代模型論出現(xiàn)之前，邏輯初始概念和運(yùn)算的歸約在邏輯研究中占據(jù)重要地位。羅素、尼科、肖菲克爾、盧卡西維茨和奎因等著名邏輯學(xué)家都關(guān)注過這一方面的工作，肖菲克爾的論文甚至還被編入了數(shù)理邏輯主流文獻(xiàn)選集《從弗雷格到哥德爾：1879—1931》。這一傳統(tǒng)由萊蒙、馬里帝茲、普萊爾等人繼承到20世紀(jì)下半葉，并由沃斯等人于21世紀(jì)在布爾代數(shù)、自動(dòng)推理等領(lǐng)域作了進(jìn)一步發(fā)揮。我的導(dǎo)師張清宇研究員自20世紀(jì)90年代以來在這一方面做過獨(dú)到的系列工作，本書的研究工作就是在他的這些工作基礎(chǔ)上開始的，從這種意義上來說，本書內(nèi)容也可以看成是對他的工作進(jìn)行詳細(xì)闡釋和進(jìn)一步發(fā)展。