半符号逻辑:传统逻辑与符号逻辑的桥梁

图书标准信息

• 作者 张霭珠 著
• 出版社 复旦大学出版社
• 出版时间 2004
• ISBN 9787309042375
• 定价 20.00元
• 装帧 其他
• 开本 23cm
• 页数 219页
• 正文语种 简体中文

【内容简介】

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。