Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
.
Bookmark this Record
Catalogue Record 27208
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 27208
.
Reviews
Catalogue Record 27208
.
British Library
Resolver for RSN-27208
Google Scholar
Resolver for RSN-27208
WorldCat
Resolver for RSN-27208
Catalogo Nazionale SBN
Resolver for RSN-27208
GoogleBooks
Resolver for RSN-27208
ICTP Library
Resolver for RSN-27208
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
511.3
Title
Analysis and Synthesis of Logics ([Ebook]) : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
Author
Carnielli, Walter
Added Personal Name
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : Springer Netherlands , 2008.
Physical Details
: online resource.
Series
Applied Logic Series
1386-2790 ; ; 35
ISBN
9781402067822
Summary Note
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).:
Contents note
Preface -- 1. Introductory Overview -- 2. Splicing Logics: Syntactic Fibring -- 3. Splicing Logics: Semantic Fibring -- 4. Heterogenous Fibring -- 5. Fibring Non-Truth Functional Logics -- 6. Fibring First-Order Logics -- 7. Fibring Higher-Order Logics -- 8. Modulated Fibring -- 9. Splitting Logics -- 10. New Trends: Network Fibring -- 11. Summing-up and Outlook -- Bibliography -- Subject Index -- Table of Symbols -- List of Figures.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users).
Internet Site
http://dx.doi.org/10.1007/978-1-4020-6782-2
Links to Related Works
Subject References:
Computer Science
.
Logic
.
Logic, Symbolic and mathematical
.
Mathematical Logic and Formal Languages
.
Mathematical Logic and Foundations
.
Mathematics
.
Authors:
author
.
Carnielli, Walter
.
Coniglio, Marcelo
.
Gabbay, Dov M.
.
Gouveia, Paula
.
Sernadas, Cristina
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Applied Logic Series
.
Classification:
511.3
.
.
ISBD Display
Catalogue Record 27208
.
Tag Display
Catalogue Record 27208
.
Related Works
Catalogue Record 27208
.
Marc XML
Catalogue Record 27208
.
Add Title to Basket
Catalogue Record 27208
.
Catalogue Information 27208
Beginning of record
.
Catalogue Information 27208
Top of page
.
Download Title
Catalogue Record 27208
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
27208
1
27208
-
2
27208
-
3
27208
-
4
27208
-
5
27208
-
Quick Search
Search for