期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
系统Z上的谓词演算
下载PDF
职称材料
导出
摘要
本文在非经典形式系统Z(它用来刻划辩证否定的特有性质)之上,引入若干条公理,建立一个谓词演算系统ZQ,并把系统Z的语义推广到系统ZQ中去。附带地,也在系统ZT上建立了谓词演算系统ZQT(但ZQ的成立不依赖于ZQT成立与否)。
作者
张金成
机构地区
武汉大学
出处
《洛阳理工学院学报(社会科学版)》
1994年第3期21-25,共5页
Journal of Luoyang Institute of Science and Technology:Social Science Edition
关键词
系统
谓词
语义
演算系统
分类号
H146 [语言文字—汉语]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
2
共引文献
15
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
张金成.
论辩证逻辑的形式系统Z与ZT的超协调性[J]
.武汉大学学报(人文科学版),1993,47(4):48-53.
被引量:4
2
张金成.
对辩证逻辑形式化的研究[J]
.武汉大学学报(人文科学版),1992,46(6):3-11.
被引量:14
共引文献
15
1
王宁.
旅行社经营管理活动中的不规范行为、成因及其危害分析[J]
.中国市场,2006(32):52-53.
被引量:2
2
桂起权,陈晓平.
辩证逻辑形式化的研究纲领[J]
.哲学动态,1992(10):22-25.
被引量:13
3
桂起权,陈晓平.
辩证逻辑形式化的研究纲领[J]
.云南社会科学,1992(5):43-49.
被引量:5
4
陈晓平.
辩证逻辑与形而上学——兼析形式系统Z的辩证法含义[J]
.华南师范大学学报(社会科学版),2005(5):3-10.
被引量:1
5
陈晓平.
互补逻辑与辩证逻辑──兼评关系实在论[J]
.科学技术与辩证法,1996,13(2):38-44.
被引量:5
6
桂起权.
对我国辩证逻辑的历史发展之浅见——在纪念中国逻辑学会成立30周年大会上的报告[J]
.武汉大学学报(人文科学版),2011,64(3):52-58.
被引量:4
7
曾有思.
非经典形式系统Z和ZT之比较研究[J]
.洛阳理工学院学报(社会科学版),1994,10(3):13-20.
8
张金成.
辩证逻辑的现代发展及述评[J]
.云南社会科学,2000(1):41-45.
被引量:1
9
张振华.
试论次协调逻辑的哲学意义及应用[J]
.天津大学学报(社会科学版),2002,4(2):147-150.
被引量:3
10
桂起权.
多元化的辩证逻辑形式化研究[J]
.学术探索,2002(1):23-25.
被引量:2
1
刘玲.
多元系统论及其在翻译研究中的运用[J]
.西安社会科学,2010,28(4):132-133.
被引量:1
2
李炎.
日常和网络称赞语回应策略的优选论分析[J]
.北方文学(下),2013(9):157-158.
3
陈思清.
语言哲学及其对语言学的贡献[J]
.现代外语,1991,14(1):9-15.
被引量:10
4
钟梫.
详介《ZQ拼音法》——兼评《巴拉吉氏华语拼音法》[J]
.语言教学与研究,1987(2):139-158.
被引量:2
5
庞双子.
中文翻译文学(1920-1940)中的类联接结构之考察[J]
.外语与外语教学,2014(4):8-14.
被引量:1
6
王德春.
论语义的逻辑演算[J]
.外国语,1982,5(3):47-51.
被引量:2
7
孙红艳.
《广韵》日母字在东北方言中的语音演变及成因探析——山东移民“闯关东”对东北方言的影响[J]
.湖南医科大学学报(社会科学版),2008(1):128-129.
被引量:3
8
魏纪东.
论篇章博喻的研究理据、目的和方法[J]
.天津外国语学院学报,2008,15(5):44-51.
9
魏纪东.
从博喻看篇章隐喻的逻辑和信息建构[J]
.中国外语,2005,2(4):29-34.
被引量:7
10
王昌玲.
非经典文本中引用经典之变译研究——以电视片《长河》为例[J]
.淮北师范大学学报(哲学社会科学版),2014,35(6):117-121.
洛阳理工学院学报(社会科学版)
1994年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部