行为规范逻辑Qd系统--《1993年逻辑研究专辑》1993年

《1993年逻辑研究专辑》 1993年

行为规范逻辑Qd系统

【摘要】：正Qd系统是在狭谓词演算Q中添加以下内容扩展而成的: 1．初始符号:(1)谓词常项S,读作“……限制、剥夺……的权利”;(2)个体常项a, 专指国家机关。 2．形成规则:S(△1,△2)是合式公式。

【作者单位】：兰州大学哲学系
【分类号】：B812
【正文快照】：

Qd系统是在狭谓词演算Q中添加以下内容扩展而成的: 1.初始符号:(l)谓词常项S，读作“·”…限制、剥夺·“…的权利”;(2)个体常项a，专指国家机关。 2.形成规则:S(△，，△:)是合式公式. 3.公理;卜玉一S(a，x)。 4.定义: (1)V△OA(△)一盯V△(~A(△)~S(a，△)) (2)丫么PA(△

全文下载：

CAJ格式（推荐）

PDF格式
不支持迅雷等加速下载工具，请取消加速工具后下载

CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	茹季札;从数理逻辑的发展历史看学习数理逻辑的重要意义[J];人文杂志;1981年02期
2	刘永凯;反条件判断及其推理初探[J];零陵学院学报;1981年01期
3	马希文;有关“知道”的逻辑问题的形式化[J];哲学研究;1981年05期
4	杨英锐;关于哥德尔不完全性定理评介中的两个问题及其哲学涵义浅析——兼评杨熙龄同志的几篇数理逻辑评介文章[J];国外社会科学;1981年01期
5	杨熙龄;哥德尔理论与悖论有没有“必然联系”?[J];国外社会科学;1981年01期
6	;书讯[J];国外社会科学;1981年08期
7	高崇会;关于传统形式逻辑的现代化问题[J];人文杂志;1982年01期
8	王德春;论语义的逻辑演算[J];外国语(上海外国语大学学报);1982年03期
9	康宏逵;;《数理逻辑引论》[J];读书;1983年03期
10	高全泉;;新颖的人工智能语言——PROLOG[J];计算机科学;1983年06期

中国重要会议论文全文数据库

前10条

1	张家龙;;形式逻辑要现代化[A];逻辑学文集[C];1978年
2	莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年
3	张尚水;;二十世纪逻辑学的发展[A];逻辑学文集[C];1978年
4	莫绍揆;;数理逻辑中一些重要问题[A];全国逻辑讨论会论文选集[C];1979年
5	张锦文;;一种弗晰逻辑的形式系统[A];全国逻辑讨论会论文选集[C];1979年
6	陶景侃;;行为规范逻辑Qd系统[A];1993年逻辑研究专辑[C];1993年
7	董志铁;;澳大利亚各大学哲学系开设逻辑情况简介[A];1995年逻辑研究专辑[C];1995年
8	霍全生;;含自指性谓词的谓词演算系统[A];1996年逻辑研究专辑[C];1996年
9	弓肇祥;季冠芳;;自由逻辑的缘起和发展[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
10	席升阳;;亚里士多德的范畴说[A];1997年逻辑研究专辑[C];1997年

中国重要报纸全文数据库

前1条

1	宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年

中国硕士学位论文全文数据库

前2条

1	王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
2	韩波;不完全信息数据库研究[D];南京航空航天大学;2003年