10.3778/j.issn.1002-8331.1712-0424
逻辑系统L*和BL*的广义演绎定理的逆定理
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理.
逻辑系统L*、逻辑系统BL*、广义演绎定理、强可靠性
55
O141.1(数理逻辑、数学基础)
国家自然科学基金11671008,61472343,11701500;江苏省高校自然科学基金15KJD110006;江苏省自然科学基金BK20170483;江苏高校品牌专业建设工程项目PPZY2015B109
2019-10-30(万方平台首次上网日期,不代表论文的发表时间)
共3页
47-49