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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Carnielli, Walter (Author), Coniglio, Marcelo (Author), Gabbay, Dov M. (Author), Gouveia, Paula (Author), Sernadas, Cristina (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Applied Logic Series ; 35
Subjects:
Mathematical logic.
Logic.
Machine theory.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items