两型自然推理系统的比较 |
| |
作者姓名: | 莫绍揆 |
| |
作者单位: | 南京大学数学系 |
| |
摘 要: | 1934年,S.Jaskowski与G.Gentzen几乎同时提出了所谓自然推理系统。两种系统都获得极大的发展,成为最受人们欢迎的系统。这两种系统各有优缺点,大体说来,前者最和人们日常的推理过程相近似,从而使用起来最为方便;后者则除可以不用割切(cut)规则外,各规则都是由简主繁,理论上最是简捷,没有兜圈子的毛病,最适宜于作理论上的探讨(尤其当讨论融贯性、可推导性等问题时)。因此长期以来,人们都认为使用时宜选择前者,作理论上探讨时,宜选择使用后者,并认为两者根本不同,无法变成一个。
|
关 键 词: | 自然推理系统 假设型 矢列型 |
本文献已被 CNKI 维普 等数据库收录! |
|