在本文中,我们调查了形式论证模型在多大程度上可以处理非正式逻辑文献中确定的非正式逻辑的十个基本特征。 通过展示几乎所有这些特征如何可以成功地正式建模,我们声称可以在形式化非正式逻辑的项目方面取得良好进展。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~