Cover Image

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

Main Authors: Carnielli, Walter. (Author, http://id.loc.gov/vocabulary/relators/aut), Coniglio, Marcelo. (http://id.loc.gov/vocabulary/relators/aut), Gabbay, Dov M. (http://id.loc.gov/vocabulary/relators/aut), Gouveia, Paula. (http://id.loc.gov/vocabulary/relators/aut), Sernadas, Cristina. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Applied Logic Series, 35
Subjects:
Mathematical logic.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-1-4020-6782-2
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