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

发布时间：2021-01-30 18:39

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

【文章来源】：重庆理工大学学报(社会科学). 2020,34(02)

【文章页数】：9 页

【参考文献】：
期刊论文
[1]结构主义视域下的现代逻辑学[J]. 郝一江,陶侃.  四川师范大学学报(社会科学版). 2018(03)



本文编号：3009394