?ukasiewicz的实然三段论系统?A的证实与证伪

摘要：

以Johnson等文献为基础,利用广义量词理论和集合论,对?ukasiewicz提出的实然三段论系统?A进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪.

关键词：实然三段论、A系统、证实、证伪

所属期刊栏目：34

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金后期项目"面向人工智能的命题动态逻辑及其扩展研究"19FZXB102

在线出版日期：2020-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：10-18