作者：张晓君; 袁娇娇亚里士多德模态三段论可能世界语义学形式化公理化
摘要：利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《湖南科技大学学报·自然科学版》（CN：43-1443/N）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《湖南科技大学学报·自然科学版》主要刊载矿山开采、资源勘查与开发、煤田地质与工程地质、电气与自动化工程、计算机应用、机械工程、安全工程、煤的加工与综合利用、环境工程、建筑工程、基础学科等方面的学术论文，反映上述学科最新的研究成果和学术水平，促进国内外学术交流，繁荣科学技术事业。
杂志详情
