發(fā)布時間：2021-01-30 18:39

　　以Johnson等文獻為基礎,利用廣義量詞理論和集合論,對■ukasiewicz提出的實然三段論系統(tǒng)■A進行深度拓展研究,并給出一些定理說明如何形式化地對實然三段論進行證實與證偽。 

【文章來源】：重慶理工大學學報(社會科學). 2020,34(02)

【文章頁數(shù)】：9 頁

【參考文獻】：
期刊論文
[1]結(jié)構(gòu)主義視域下的現(xiàn)代邏輯學[J]. 郝一江,陶侃.  四川師范大學學報(社會科學版). 2018(03)



本文編號：3009394