论文部分内容阅读
以Johnson等文献为基础,利用广义量词理论和集合论,对?ukasiewicz提出的实然三段论系统?A进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪.
?ukasiewicz的实然三段论系统?A的证实与证伪
【摘 要】
：
以Johnson等文献为基础,利用广义量词理论和集合论,对?ukasiewicz提出的实然三段论系统?A进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪.
【机 构】
：
四川师范大学 逻辑与信息研究所,四川 成都,610066
【出 处】
：
重庆理工大学学报（社会科学版）
【发表日期】
：
2020年2期
其他文献
近年来,西安市科学技术局(外国专家局)按照“聚焦重大战略,紧盯国际前沿,坚持项目先行,着力招才引智,引领转型升级,服务创新发展”的总体工作思路,引进了一批西安市急需紧缺
期刊
“看了西光所,听了赵卫所长的介绍,我反复强调的创新发展战略有了依据”.2015年2月,习近平总书记视察西安光机所,留下了这样的评价.这是光机所的荣耀,更是西安和陕西的荣耀.
期刊
在2019年深圳举行的第十七届中国国际人才交流大会上,“2018魅力中国——外籍人才眼中最具吸引力的中国城市”榜单揭晓,古城西安荣登10座魅力城市之列.日前,中央媒体采访团赴
期刊
捐赠型网络众筹中关系亲疏对捐赠金额的影响研究,A Study on the Influence of Donor‐recipient Relationship on Donation Amount i
捐赠型网络众筹平台的兴起改变了传统的熟人慈善,但捐赠人同受助人的关系在捐赠型网络众筹中仍具有重要作用.聚焦捐赠型网络众筹情境,通过实验法,探究捐赠人与受助人关系亲疏
乔治·斯坦纳的四步骤阐释运作理论是翻译思想和理论研究领域的重要课题,然而学界对各步骤的解释迄今仍然或止于原文转述,或语焉不详.鉴此,本文尝试对各步骤实质内涵予以分析
兰州文理学院图书馆所藏《一切经音义》一百卷,二十五册,唐代慧琳撰,版本为清乾隆二年(1737)扶桑雒东狮谷白莲社刻本.封面题“唐西明寺翻经沙门慧琳撰,一切经音义,扶桑雒东狮
期刊