| 期刊全稱 | Analysis and Synthesis of Logics | | 期刊簡(jiǎn)稱 | How to Cut and Paste | | 影響因子2023 | Walter Carnielli,Marcelo Coniglio,Cristina Sernada | | 視頻video | http://file.papertrans.cn/157/156278/156278.mp4 | | 發(fā)行地址 | First book addressing both composition and decomposition of logics.Tool box for combining and decomposing logics in different guises.Mathematical approach.Several examples in such diverse areas as sof | | 學(xué)科分類(lèi) | Applied Logic Series | | 圖書(shū)封面 |  | | 影響因子 | .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 (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete...The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computatio | | Pindex | Book 2008 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-25 23:15
發(fā)表于 2025-3-21 19:50:33
