摘要：在達米特給出的直覺主義謂詞邏輯矢列演算系統(tǒng)的基礎(chǔ)上,構(gòu)造一個與等價的系統(tǒng)L^*,這有助于研究直覺主義命題邏輯的可判定性問題。與此同時,還構(gòu)造經(jīng)典謂詞邏輯的矢列演算系統(tǒng)以及直覺主義謂詞邏輯的矢列演算系統(tǒng)LK^*,這有助于探討直覺主義邏輯與經(jīng)典邏輯之間關(guān)系。