Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
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 the...
Shranjeno v:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Dordrecht :
Springer Netherlands : Springer e-books
[20..].
Cham : Springer Nature |
| Serija: | Applied Logic Series
35 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Analysis and synthesis of logics, How to cut and paste reasoning systems, by Walter Carnielli,... Marcelo Coniglio,... Dov M. Gabbay,... Paula Gouveia,... and Cristina Sernadas,..., Dordrecht, Springer Science+Business Media B.V., 2008, 1 vol. (xvi-600 p.), Applied Logic Series, 978-1-4020-6781-5 |
| LEADER | 04605nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 940225 | ||
| 008 | 080505q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN12374119X | ||
| 020 | |a 9781402067822 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 084 | |a 03-01. 2010 | ||
| 084 | |a 03B22. 2010 | ||
| 100 | 1 | |a Carnielli, Walter Alexandre, |d 1952- | |
| 245 | 1 | 0 | |a Analysis and Synthesis of Logics : |b How to Cut and Paste Reasoning Systems |c by Walter Carnielli,... Marcelo Coniglio,... Dov M. Gabbay,... Paula Gouveia,... and Cristina Sernadas,... |
| 260 | |a Dordrecht : |b Springer Netherlands : |b Springer e-books. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 1 | |a Applied Logic Series |v 35 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 504 | |a Bibliogr. Index | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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, 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 | |a Logique symbolique et mathématique | ||
| 700 | 1 | |a Coniglio, Marcelo E., |d 1963- |4 aut | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |4 aut | |
| 700 | 1 | |a Gouveia, Paula. |4 aut | |
| 700 | 1 | |a Sernadas, Cristina. |4 aut | |
| 700 | 1 | |a Coniglio, Marcelo. |4 aut | |
| 700 | 1 | |a Gouveia, Paula. |4 aut | |
| 700 | 1 | |a Sernadas, Cristina. |4 aut | |
| 776 | 0 | |0 12504741X |t Analysis and synthesis of logics |o How to cut and paste reasoning systems |f by Walter Carnielli,... Marcelo Coniglio,... Dov M. Gabbay,... Paula Gouveia,... and Cristina Sernadas,... |c Dordrecht |n Springer Science+Business Media B.V. |d 2008 |p 1 vol. (xvi-600 p.) |s Applied Logic Series |z 978-1-4020-6781-5 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-1-4020-6782-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N58LCQKX-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747863164 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4020-6782-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750880694 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4020-6782-2 |z Accès INSA CVL | |
| 997 | |0 940225 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||