广义演绎定理相关论文
研究了BL^＊系统和BR0-代数．首先在BL^＊系统的基础上添加了一元逻辑连接词△，得到BL^＊系统的一种模式扩张BL△^＊系统，随后提出了△BR0-代数......
给出了相应于广义R0一代数的PL^＊公理体系的定义及PL^＊公理体系的若干重要性质.证明了PL^＊公理体系的[F]一定备性，最后给出了PL^＊公理体......
利用形式推演方法,给出逻辑系统L^*和BL^*的广义演绎定理逆定理的证明,并利用系统BL^*的完备性定理及广义演绎定理证明系统BL^*的......
