机读格式显示(MARC)

• 000 01318nam0 2200301 450

• 001 0000421309

• 005 20140313152800.0

• 010 __ |a 978-7-5620-4916-6 |d CNY24.00

• 099 __ |a CAL 012013124370

• 100 __ |a 20130903d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 逻辑中的表列方法 |A luo ji zhong de biao lie fang fa |d = Tableau methods for logics |f 孔红著 |z eng

• 210 __ |a 北京 |c 中国政法大学出版社 |d 2013

• 215 __ |a 236页 |c 图 |d 21cm

• 300 __ |a 中国政法大学人文社会科学研究项目

• 320 __ |a 有书目 (第229-232页) 和索引

• 330 __ |a 分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法之一，在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性，不仅经典命题逻辑和一阶谓词逻辑有其表列，在模态逻辑、非单调逻辑等非经典逻辑分支中，表列方法也以不同的形式存在着。

• 333 __ |a 适用于高等学校逻辑学课程的学生及其相关专业的从业人员、哲学爱好者和相关读者。

• 510 1_ |a Tableau methods for logics |z eng

• 606 0_ |a 逻辑方法 |A luo ji fang fa

• 690 __ |a B81 |v 5

• 701 _0 |a 孔红, |A kong hong |f 1969- |4 著

• 801 _0 |a CN |b CAU |c 20140312

• 905 __ |a CAU |d B81/83

• 920 __ |a 211180 |z 1