-
题名逻辑系统L~*和BL~*的广义演绎定理的逆定理
被引量：1
- 1
-
-
作者
荣宇音
徐罗山
-
机构
扬州大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2019年第1期47-49,共3页
-
基金
国家自然科学基金(No.11671008
No.61472343
+3 种基金
No.11701500)
江苏省高校自然科学基金(No.15KJD110006)
江苏省自然科学基金(No.BK20170483)
江苏高校品牌专业建设工程项目(No.PPZY2015B109)
-
文摘
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
-
关键词
逻辑系统L^*
逻辑系统BL^*
广义演绎定理
强可靠性
-
Keywords
logic system L^*
logic system BL^*
generalized deduction theorem
strong soundness
-
分类号
O141.1
[理学—基础数学]
-
-
题名PL*公理体系的广义演绎定理
- 2
-
-
作者
杨爱丽
-
机构
西安科技大学基础部
-
出处
《内江师范学院学报》
2006年第6期19-21,共3页
-
文摘
给出了相应于广义R0-代数的PL*公理体系的定义及PL*公理体系的若干重要性质．证明了PL*公理体系的[F]-定备性,最后给出了PL*公理体系中的广义演绎定理．
-
关键词
广义R0一代数
PL^＊公理体系
广义演绎定理
-
Keywords
pseudo-R0 algebras
formal deductive system PL^＊
generalized deduction theory
-
分类号
O159
[理学—基础数学]
-
-
题名BL_Δ~*系统的完备性
- 3
-
-
作者
吴洪博
-
机构
陕西师范大学数学与信息科学学院
-
出处
《吉首大学学报（自然科学版）》
CAS
2009年第6期1-5,共5页
-
基金
国家自然科学基金资助项目(10871121)
-
文摘
研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.
-
关键词
模糊逻辑
BL*系统
Δ-滤子
完备性
广义演绎定理
-
Keywords
fuzzy logic
BL^＊ system
△-filter
completeness
generalized deductive theorem
-
分类号
O141.1
[理学—基础数学]
-
