对偶基本命题逻辑相关硕士博士期刊学术论文

对偶直觉主义逻辑(DJ)一般是通过,在直觉主义逻辑的基础上,用蕴涵的对偶算子(-)替换直觉主义蕴涵算子(→)得到。关于DJ的研究,前人......