结构推理
Saved in:
Main Authors: | |
---|---|
Published: |
广西师范大学出版社
|
Publisher Address: | 桂林 |
Publication Dates: | 2020 |
Literature type: | Book |
Language: | Chinese |
Edition: | 2版 |
Subjects: | |
Carrier Form: | 244页: ; 23cm |
ISBN: | 978-7-5598-2878-1 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/3149-3 |
Contents: |
教育部基地重大项目研究成果 有索引 本书研究命题逻辑的结构推理,涉及多种结构推理系统的建构。全书共四章,内容包括:经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。 |