...

构造基本命题逻辑BPL带标的矢列演算系统,该系统G3BPL只有公理和逻辑规则,没有结构规则,结构规则被吸收在公理和逻辑规则中,并且所......

在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.D......

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

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

基本命题逻辑是不同于经典命题逻辑的命题逻辑,属于非经典逻辑,与它最类似的非经典逻辑是直觉主义命题逻辑。相比于经典命题逻辑,......