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

摘要

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