Sciweavers

2 search results - page 1 / 1
» Modulated Fibring and The Collapsing Problem
Sort
View
JSYML
2002
81views more  JSYML 2002»
13 years 4 months ago
Modulated Fibring and The Collapsing Problem
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
Cristina Sernadas, João Rasga, Walter Alexa...
BIRTHDAY
2005
Springer
13 years 10 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...