机读格式显示(MARC)

• 000 01515nam0 2200265 450

• 001 0000724880

• 005 20240820141600.0

• 010 __ |a 978-7-5227-2100-2 |d CNY88.00

• 100 __ |a 20231020d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 中国表示法及其逻辑研究 |A zhong guo biao shi fa ji qi luo ji yan jiu |f 杜国平著

• 210 __ |a 北京 |c 中国社会科学出版社 |d 2023

• 215 __ |a 223页 |d 24cm

• 300 __ |a 中国社会科学院哲学社会科学创新工程学术出版资助项目资助

• 314 __ |a 杜国平, 男, 1965年生, 江苏省盱眙县人。哲学博士 (逻辑学专业), 工学博士 (计算机应用技术专业)。现为中国社会科学院哲学研究所智能与逻辑实验室主任、二级教授、博士生导师。享受国务院政府特殊津贴专家。兼任中国逻辑学会会长、金岳霖学术基金会秘书长。

• 320 __ |a 有书目 (第220-223页)

• 330 __ |a 本书首次全面、系统地阐述了中国表示法的理论缘起、核心思想及其应用技术, 特别是探讨了中国表示法中括号之于逻辑联结词、量词和模态词等的表达功能 ; 基于逻辑常项的中国表示法重新构建了更加简洁的二值逻辑系统 ; 基于括号表示法系统构建了三值逻辑系统, 严格证明了三值逻辑是二值逻辑的扩充, 纠正了长期以来认为“三值逻辑是二值逻辑的限制”错误观点, 对三值逻辑的直观性进行了细致的分析和刻画 ; 运用中国表示法对三值逻辑函数进行了研究, 重点研究了三值逻辑Sheffer函数, 基于中国表示法对三值逻辑Sheffer函数的表达能力重新进行了自足的证明。

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究

• 690 __ |a O141 |v 5

• 701 _0 |a 杜国平, |A du guo ping |f 1965- |4 著

• 801 _0 |a CN |b WFKJXY |c 20240820

• 905 __ |a WFKJXY |d O141/7