论文部分内容阅读
以Johnson等文献为基础,利用广义量词理论和集合论,对Lukasiewicz提出的实然三段论系统LA进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪。
Lukasiewicz的实然三段论系统LA的证实与证伪
【摘 要】
：
以Johnson等文献为基础,利用广义量词理论和集合论,对Lukasiewicz提出的实然三段论系统LA进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪。
【机 构】
：
四川师范大学逻辑与信息研究所
【出 处】
：
重庆理工大学学报:社会科学
【发表日期】
：
2020年2期
【基金项目】
：
国家社会科学基金后期项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)
其他文献
广东现代农业科普园创制了11项科普互动展品和3项科普宣传片,将科普互动作品与科普资源结合开展科普活动,通过互动体验的模式展示更多互动展品,将创作乐趣融入科普中,提升科
目的：探讨口腔扁平苔藓（0LP）患者外周血细胞免疫功能状态。方法：采用流式细胞仪检测外周血T细胞亚群和NK细胞百分比．ELISA法检测血清中细胞因子水平变化。结果：OLP组外周血中除CD8^
2016年,玉米市场化结构调整正式开始,玉米价格＂跳水＂,到2017年3月初,辽宁产地玉米收购价格约为1.30元/公斤。2017年2月初,农业部召开全国春管春耕暨种植业结构调整工作视频会议
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
当前我国尚未建立高压气体流量计量的国家标准，原有的CNG加气机标准装置已经不能满足CNG加气机检定校准的需求。通过研究分析当前市场上CNG加气机的计量性能，研制完成两套检测C
英语是世界上使用最为广泛的语言，是一种交流沟通的重要工具。但是“哑巴英语”现象在我国较为普遍，其中在高中英语学习者中尤为突出。此现象大大阻碍了高中英语学习者的学习热
PIM3605是一款可插拔智能迷你驱动器，特别适合空间紧张的运动控制应用。采用简单引脚制造，驱动器具有能够进行更快速组装和安装的架构，从而让用户可在几秒钟内插入驱动器。
Due to the current domestic situation and trend of development, China should strive to promote internal harmony and progress, and improve strategic coordination