请输入您要查询的百科知识:
词条
相干逻辑
释义
相干逻辑
数理化力学卷
相干逻辑
现代逻辑分支之一。它的一个重要特性是可以清除蕴涵怪论。为了消除蕴涵怪论,1950年中国逻辑学家莫绍揆提出了一个纯蕴涵系统,1951年丘奇(A.
Church,1903—1995)建立了另一个与之等价的系统,它们是以后发展起来的相干命题逻辑系统R的纯蕴涵部分。相干逻辑正式建立于20世纪60年代,逻辑学家安德森(A.
R.
Anderson)和贝尔纳普(N.
D.
Belnap)先后构造了相干命题逻辑系统R和带量词的系统RQ。由于相干逻辑顾及到蕴涵式前、后件之间(由命题变元的共同出现所体现的)内容上的联系,因而能避免各种蕴涵怪论。然而相干逻辑并没有顾及蕴涵式前、后件之间的必然联系,选言推理((
p
∨
q
)∧
7
p
)→
q
亦不是系统R的定理。相干逻辑的语义于20世纪70年代建立,它既有克里普克语义,亦有代数语义。80年代又证明了系统R的不可判定性。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
肝热传眼
肝片吸虫
肝硬化
肝穿刺
肝素
肝细胞性黄疸
肝细胞生长因子
肝肿大
肝胃不和
肝胃气痛
肝胆
肝胆湿热
肝胆相照
肝胰脏
肝脏导引法
肝脑涂地
肝脓肿
肝脾失调
肝膂
肝著
肝藏血
肝蛭病
肝血瘀阻
肝豆状核变性
肝阳上亢
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/13 3:28:17