[ 登录/注册 ] 购物车(0)
期刊大全 杂志订阅 SCI期刊 期刊投稿 出版社 公文范文 精品范文
摘要:利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
北大期刊 下单
国际刊号:1672-9102
国内刊号:43-1443/N
国际刊号:1001-4837
国内刊号:34-1058/TH
国际刊号:1008-0961
国内刊号:23-1051/C
国际刊号:1000-5773
国内刊号:51-1147/04
多年专注期刊服务,熟悉发表政策,投稿全程指导。因为专注所以专业。
推荐期刊保障正刊,评职认可,企业资质合规可查。
诚信服务,签订协议,严格保密用户信息,提供正规票据。
如果发表不成功可退款或转刊。资金受第三方支付宝监管,安全放心。