哥德尔翻译相关硕士博士期刊学术论文

维瑟的基本命题逻辑(BPL)是比直觉主义逻辑(Int)还要小的逻辑,在语义方面所要求的是传递关系克里普克语义框架。对逻辑BPL的研究在......