Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

by Dov M . Gabbay (Author), WalterCarnielli (Author), Cristina Sernadas (Author), PaulaGouveia (Author), Marcelo Coniglio (Author)

• New

  Hardcover
  2008

  $255.81

  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.