直覺主義謂詞邏輯與經典謂詞邏輯的矢列演算系統
余軍成 貴州工程應用技術學院邏輯與文化研究中心; 貴州畢節551700
- 直覺主義謂詞邏輯
- 經典謂詞邏輯
- 矢列演算系統
摘要：在達米特給出的直覺主義謂詞邏輯矢列演算系統的基礎上,構造一個與等價的系統L^*,這有助于研究直覺主義命題邏輯的可判定性問題。與此同時,還構造經典謂詞邏輯的矢列演算系統以及直覺主義謂詞邏輯的矢列演算系統LK^*,這有助于探討直覺主義邏輯與經典邏輯之間關系。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
