机读格式显示(MARC)

• 000 01197nam0 2200265 450

• 001 0000493537

• 005 20140312182700.0

• 010 __ |a 978-7-03-038928-2 |d CNY88.00

• 099 __ |a CAL 012013140247

• 100 __ |a 20131127d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 论联合演算 |A lun lian he yan suan |f 马雷著

• 210 __ |a 北京 |c 科学出版社 |d 2013

• 215 __ |a 314页 |c 图 |d 24cm

• 320 __ |a 有书目 (第310-311页)

• 330 __ |a 本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画，仅就变项而言，就没有穷尽其全部特征，因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统，并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明：传统词项逻辑在其自身所把握的范

• 606 0_ |a 逻辑哲学 |A luo ji zhe xue

• 690 __ |a B81-05 |v 5

• 701 _0 |a 马雷, |A ma lei |f 1965- |4 著

• 801 _0 |a CN |b NMU |c 20131127

• 905 __ |a SCNU |f B81-05/1710

• 920 __ |a 242430 |z 1