-
题名中介逻辑ML的一种模型
被引量:2
- 1
-
-
作者
潘正华
-
机构
贵州兴义师范专科学校
-
出处
《南京师大学报(自然科学版)》
CAS
CSCD
1989年第1期21-25,共5页
-
文摘
中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。
-
关键词
中介逻辑
模型
语义解释
赋值
-
Keywords
Medium logic, Model, Semantic interpretation, Valuation.
-
分类号
O141
[理学—基础数学]
-
-
题名中介逻辑ML的一种模型构造
被引量:2
- 2
-
-
作者
潘正华
-
机构
兴义师范专科学校
-
出处
《自然杂志》
1989年第4期315-316,共2页
-
基金
贵州省科委科学基金
-
文摘
中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释。
-
关键词
逻辑演算
ML
个体域
合式公式
语义解释
命题形式
模型构造
命题函数
个体词
指词
-
分类号
N49
[自然科学总论]
-
-
题名中介命题逻辑MP的完备性
被引量:2
- 3
-
-
作者
潘正华
-
机构
兴义师范专科学校
-
出处
《自然杂志》
1989年第7期555-555,共1页
-
基金
贵州省科委科学基金
-
文摘
根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。
-
关键词
逻辑演算
命题逻辑
MP
完备性定理
形式推理
合式公式
-
分类号
N49
[自然科学总论]
-
-
题名中介命题逻辑MP和中介谓词逻辑MF的可靠性
- 4
-
-
作者
潘正华
-
机构
兴义师范专科学校
-
出处
《自然杂志》
1989年第8期634-634,共1页
-
基金
贵州省科委科学基金
-
文摘
本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和MF,证明是一个有穷的形式推理关系序列。
-
关键词
命题逻辑
MF
MP
有穷
谓词逻辑
形式推理
推理规则
合式公式
逻辑推论
-
分类号
N49
[自然科学总论]
-
-
题名化学生物学——21世纪新兴的交叉前沿学科
- 5
-
-
作者
徐祖民
-
机构
兴义师范专科学校化生系
-
出处
《渭南师范学院学报》
2002年第S1期67-68,共2页
-
文摘
化学生物学是由化学与生物学、医学相互交叉、相互融合而成的新兴交叉学科 ,用化学方法研究生物学和医学 。
-
关键词
化学生物学
交叉
前沿学科
-
分类号
O6-05
[理学—化学]
-