全部相关分类

  •  【预订】Logic and Implication 9783030856779

    【预订】Logic and Implication 9783030856779

    国外库房发货,通常付款后3-5周到货!

    0条评论

    Product Details 基本信息 ISBN-13 书号 9783030856779 Author 作者 Cintula Petr Format 版本 平装-胶订 Pages Number 页数 465页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.98 Shipping Weight 商品重量 733g Language 语种 其它(含多语) Book Contents 内容简介 This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions.Based on their recent work, the authors develop a powerful uniform fr

    ¥1129

  •  【预订】Logic and Implication 9783030856748

    【预订】Logic and Implication 9783030856748

    国外库房发货,通常付款后3-5周到货!

    0条评论

    Product Details 基本信息 ISBN-13 书号 9783030856748 Author 作者 Cintula Petr Format 版本 精装 Pages Number 页数 466页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-22 Language 语种 其它(含多语) Book Contents 内容简介 This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions.Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from ver

    ¥1143

广告