Analysis and synthesis of logics : how to cut and paste reasoning systems

著者

書誌事項

Analysis and synthesis of logics : how to cut and paste reasoning systems

by Walter Carnielli ... [et al.]

(Applied logic series, v. 35)

Springer, c2010

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 559-578) and index

Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

内容説明・目次

内容説明

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

目次

Introductory overview.- Splicing logics: Syntactic fibring.- Splicing logics: Semantic fibring.- Heterogeneous fibring.- Fibring non-truth functional logics.- Fibring first-order logics.- Fibring higher-order logics.- Modulated fibring.- Splitting logics.- New trends: Network fibring.- Summing-up and outlook.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB13287599
  • ISBN
    • 9789048177257
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Dordrecht
  • ページ数/冊数
    xvi, 600 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ