收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

弗协调逻辑系统Zn和ZnUS

张清宇  
【摘要】:正本文将建立弗协调逻辑系统的一个系列Zn,O≤n≤ω。Zn以 (?)、(?)、⊥为初始符号,否定号(?)同于科斯塔弗协调逻辑系统Cn 中的否定,将Cn中的初始符号∨和∧看成Zn中的定义符号,Cn 中的定理将全部转换成Zn中的定理。经典命题逻辑中的否定-

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 余俊伟;;弗协调命题逻辑C_n的判定性问题[J];湖南科技大学学报(社会科学版);2008年04期
2 杨武金;弗协调逻辑的理论意义和实践价值[J];中国人民大学学报;2005年02期
3 余俊伟;什么是弗协调逻辑?[J];北京科技大学学报(社会科学版);2001年02期
4 余俊伟;弗协调逻辑的哲学解读[J];哲学动态;2004年11期
5 杜国平;;不协调理论的逻辑基础——读张清宇先生的《弗协调逻辑》[J];哲学动态;2007年10期
6 余俊伟;;经典逻辑视野下的非经典否定[J];哲学动态;2010年07期
7 杨武金;弗协调逻辑及其理论特征[J];中共南京市委党校南京市行政学院学报;2004年02期
8 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期
9 郝旭东;李娜;;弗协调单主体认知逻辑系统C_nEK及其扩张[J];重庆工学院学报(社会科学版);2009年02期
10 彭媚娟;;论经典逻辑的局部修正——以弗协调逻辑为例[J];广西社会科学;2010年12期
11 张清宇;;弗协调逻辑[J];哲学动态;1987年02期
12 潘世墨;刘佳秋;;一类非经典逻辑“否定”概念解析[J];哲学动态;2009年05期
13 赵伟莉;;关于弗协调逻辑的否定与矛盾[J];淮阴师范学院学报(哲学社会科学版);2007年01期
14 崔泽云;经典命题逻辑的本体论承诺[J];湘潭师范学院学报(社会科学版);2004年06期
15 杨武金;;弗协调逻辑的理论渊源和历史发展[J];贵州师范大学学报(社会科学版);2007年06期
16 彭媚娟;胡泽洪;;关于弗协调逻辑的思考[J];湖南科技大学学报(社会科学版);2008年01期
17 郝旭东;;解析弗协调逻辑容纳“真矛盾”的逻辑机制[J];学术论坛;2010年08期
18 郝旭东;;弗协调多主体认知逻辑系统C_nE_mK[J];云南师范大学学报(哲学社会科学版);2010年05期
19 杨武金;;论悖论的实质、根源和主要解决方案——从弗协调逻辑的观点看[J];中国人民大学学报;2006年02期
20 刘新文;;论命题与括号[J];哲学研究;2008年09期
中国重要会议论文全文数据库 前10条
1 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
2 张清宇;;弗协调逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
3 杜国平;;哲思逻辑[A];第三次金岳霖学术思想研讨会论文集[C];2005年
4 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[A];仲景医学求真(续三)[C];2009年
5 张清宇;;极小的弗协调U、S时态命题逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
6 张清宇;;以广义析舍为初始符号的经典命题逻辑系统[A];1997年逻辑研究专辑[C];1997年
7 杨武金;;弗协调逻辑及其哲学意义[A];2004年逻辑研究专辑[C];2004年
8 蔡曙山;;语用逻辑研究[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
9 鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年
10 刘壮虎;;自指性命题的逻辑构造[A];1993年逻辑研究专辑[C];1993年
中国博士学位论文全文数据库 前10条
1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年
2 冯彦波;合并逻辑方法研究[D];南开大学;2010年
3 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
4 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
5 史璟;非良基集与模态逻辑[D];南开大学;2009年
6 荣立武;内涵逻辑的哲学基础[D];中山大学;2006年
7 戴细华;多值逻辑语义博弈[D];中山大学;2006年
8 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
9 娄永强;信息流理论的逻辑研究[D];南开大学;2009年
10 张继华;科学探究推理研究[D];西南大学;2012年
中国硕士学位论文全文数据库 前10条
1 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年
2 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年
3 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年
4 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年
5 武戈;二元道义逻辑DDFS系统研究[D];华东师范大学;2008年
6 张保垒;表列演算探究[D];华东师范大学;2011年
7 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年
8 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年
9 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
10 崔晓红;模态情境语义学试论[D];河南大学;2006年
中国重要报纸全文数据库 前1条
1 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978