Buch, Englisch, 602 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 925 g
Reihe: Applied Logic Series
How to Cut and Paste Reasoning Systems
Buch, Englisch, 602 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 925 g
Reihe: Applied Logic Series
ISBN: 978-90-481-7725-7
Verlag: Springer Netherlands
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. The issue of preservation of properties is addressed.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
Weitere Infos & Material
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.
