多模态Sahlqvist公理模式性质研究
本文关键词：多模态Sahlqvist公理模式性质研究 出处：《湖南科技大学学报(社会科学版)》2013年04期 论文类型：期刊论文
更多相关文章： 多模态 Sahlqvist公理模式 对应性 完全性
【摘要】：多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展。在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述。任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的。Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力。
【作者单位】： 南京大学现代逻辑与逻辑应用研究所;
【分类号】：B815.1
【正文快照】： 多模态逻辑是指在一个系统内包含两种或两种以上的模态算子。根据模态算子的性质,已有的多模态系统主要分为同质系统和异质系统。模态算子之间的相互作用原则构成多模态逻辑系统的特征公理。因此,对同一系统内多种模态算子相互作用原则的公理化是形式化研究多模态逻辑的核心
【相似文献】
相关期刊论文 前10条
1 徐畔;;多模态话语分析视角下的形体诗研究[J];杭州电子科技大学学报(社科版);2009年02期
2 吴雪颖;;基于改编电影的英美文学多模态教学模式探析[J];电影文学;2009年22期
3 朱娟娟;刘宇红;;公益广告的多模态解读——以汶川大地震的一幅公益广告为例[J];南昌高专学报;2009年06期
4 朱慧玲;;多模态语境下英语教学的思考[J];长江工程职业技术学院学报;2010年01期
5 付蓓;;多模态化的英语写作教与学[J];湖北师范学院学报(哲学社会科学版);2010年05期
6 曲颖;;大学英语教学多模态性对于解除中介语石化的作用[J];中国科技信息;2010年19期
7 付蓓;;多模态化英语写作教学的认知意义[J];语文学刊(外语教育与教学);2010年08期
8 高蕊;赵滨丽;;大学英语课堂教学多模态话语研究[J];边疆经济与文化;2010年12期
9 付磊;;基于“多模态理论”的《新视野大学英语视听说》CAI软件评价[J];山东广播电视大学学报;2010年04期
10 杨春慧;;贺岁片《大笑江湖》的多模态话语分析[J];电影文学;2011年07期
相关会议论文 前10条
1 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年
2 张子仪;杨德义;尹建祥;;一期缝合治愈外伤后完全性肛门失禁1例[A];中西医结合大肠肛门病研究新进展——第十届中国中西医结合学会大肠肛门病学术研讨会论文集[C];2004年
3 陈丽中;;完全性房内阻滞伴房性心动过速1例[A];2005年浙江省心电生理与起搏学术年会论文汇编[C];2005年
4 苏振民;林文雄;黄曲惠;;完全性并指畸形整复体会[A];第4届中国美容与整形医师大会论文汇编[C];2007年
5 郑景浩;徐志伟;刘锦纷;史珍英;苏肇伉;丁文祥;;婴幼儿完全性血管环的早期外科治疗[A];中华医学会第七次全国胸心血管外科学术会议暨2007中华医学会胸心血管外科青年医师论坛论文集心血管外科分册[C];2007年
6 吴华;顾旭东;姚云海;李岩;张雄伟;付建明;;改进往复式步行矫形器对完全性脊髓损伤患者步行能力的影响[A];2008年浙江省物理医学与康复学术年会暨中枢神经功能损伤康复新进展学习班论文汇编[C];2008年
7 徐一波;姚建民;;肉眼下成功断前臂(完全性)再植一例[A];浙江省医学会手外科学分会成立大会暨2008年学术年会论文汇编[C];2008年
8 王宁;;严重脑血管病人的多模态监测[A];第二届中西医结合脑病诊治新进展高级研讨班专家讲义及论文汇编[C];2010年
9 梁胜;张春富;李彪;;干细胞追踪用PET/SPECT/MRI/Fluo多模态探针设计探讨[A];中华医学会第九次全国核医学学术会议论文摘要汇编[C];2011年
10 蔡慧慧;包小源;杨冬青;;DAS中一种XML查询完全性验证算法[A];第26届中国数据库学术会议论文集（B辑）[C];2009年
相关重要报纸文章 前10条
1 浙江大学教授 胡晓云 本报记者 孙鲁威;坚持多模态产业模式[N];农民日报;2011年
2 周新;中国完全性脊髓损伤临床治疗世界领先[N];医药导报(中药报);2004年
3 记者 刘垠;在分子水平上认识疾病[N];大众科技报;2009年
4 记者 初卫华;治疗完全性脊髓损伤有进展[N];健康报;2001年
5 杨松林;腔隙性脑梗死不容轻视[N];大众卫生报;2007年
6 商报记者 蓝有林;丢弃公式，把梦做下去[N];中国图书商报;2006年
7 左中男;用可调外固定支架使肩锁关节复位[N];健康报;2007年
8 张倩平;女孩需防尿道黏膜外翻[N];家庭医生报;2007年
9 王琦;让男人走出悲凉世界[N];中国矿业报;2001年
10 中南大学湘雅医院教授 罗学宏;布—加综合征易误诊[N];大众卫生报;2006年
相关博士学位论文 前10条
1 张征;英语课堂多模态读写能力实证研究[D];山东大学;2011年
2 李洁;多模态脑电信号分析及脑机接口应用[D];上海交通大学;2009年
3 江e，
本文编号：1328108
本文链接：https://www.wllwen.com/shekelunwen/ljx/1328108.html
