000 03882nam a22005295i 4500
001 978-1-4020-6782-2
003 DE-He213
005 20161121231212.0
007 cr nn 008mamaa
008 100301s2008 ne | s |||| 0|eng d
020 _a9781402067822
_9978-1-4020-6782-2
024 7 _a10.1007/978-1-4020-6782-2
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aPBCD
_2bicssc
072 7 _aMAT018000
_2bisacsh
082 0 4 _a511.3
_223
100 1 _aCarnielli, Walter.
_eauthor.
245 1 0 _aAnalysis and Synthesis of Logics
_h[electronic resource] :
_bHow to Cut and Paste Reasoning Systems /
_cby Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2008.
300 _aXVI, 602 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aApplied Logic Series,
_x1386-2790 ;
_v35
505 0 _aIntroductory 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.
520 _aStarting 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, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).
650 0 _aMathematics.
650 0 _aLogic.
650 0 _aMathematical logic.
650 1 4 _aMathematics.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aLogic.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aConiglio, Marcelo.
_eauthor.
700 1 _aGabbay, Dov M.
_eauthor.
700 1 _aGouveia, Paula.
_eauthor.
700 1 _aSernadas, Cristina.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402067815
830 0 _aApplied Logic Series,
_x1386-2790 ;
_v35
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-6782-2
912 _aZDB-2-SMA
950 _aMathematics and Statistics (Springer-11649)
999 _c510049
_d510049