Graduate studies at Western
Journal of Symbolic Logic 67 (4):1541-1569 (2002)
|Abstract||Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. Main properties like soundness and completeness are shown to be preserved, comparison with bring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
Tim Carlson, Kenneth Kunen & Arnold W. Miller (1984). A Minimal Degree Which Collapses Ω. Journal of Symbolic Logic 49 (1):298 - 300.
Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
Jacek Hawranek & Jan Zygmunt (1981). On the Degree of Complexity of Sentential Logics. A Couple of Examples. Studia Logica 40 (2):141 - 153.
Carlos Caleiro & Jaime Ramos (2007). From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1):71-92.
Added to index2009-01-28
Total downloads5 ( #170,097 of 739,325 )
Recent downloads (6 months)1 ( #61,243 of 739,325 )
How can I increase my downloads?