Splitting Logics

This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, splicing. Three methods are carefully analyzed and compared: possible–translations semantics, nondeterministic semantics and plain fibring (joint with its particularization, direct union of matrices). The possibilities of inter–definability between these methods are also examined. Finally, applications to some well–known logic systems are given and their significance evaluated. 1 Splitting logics, splicing logics and their use One of fundamental questions in the philosophy of logic, “Why there are so many logics instead of just one?” (or even, instead of none), is naturally counterposed by another: If there are indeed many logics, are they excluding alternatives, or are they compatible? Is it possible to combine them into coherent systems, with the purpose of using them in applications and of taki...

• Type: Conference
• Year: 2005
• Where: BIRTHDAY
• Authors: Walter Alexandre Carnielli, Marcelo E. Coniglio
• Keywords: Applied Computing, Better Understand Logics, BIRTHDAY 2005, Logics, Splitting Logics