{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:30:35Z","timestamp":1764783035222},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4119,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 to fibring is posed by the <jats:italic>collapsing problem<\/jats:italic>: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that fibring imposes unwanted interconnections between the given logics. <jats:italic>Modulated fibring<\/jats:italic> allows a finer 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 fibring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem.<\/jats:p>","DOI":"10.2178\/jsl\/1190150298","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T14:16:54Z","timestamp":1197555414000},"page":"1541-1569","source":"Crossref","is-referenced-by-count":22,"title":["Modulated fibring and the collapsing problem"],"prefix":"10.1017","volume":"67","author":[{"given":"Cristina","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Rasga","sequence":"additional","affiliation":[]},{"given":"Walter A.","family":"Carnielli","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009208_ref014","article-title":"Fibring labelled deduction systems","author":"Rasga","journal-title":"Journal of Logic and Computation"},{"key":"S0022481200009208_ref016","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.149"},{"key":"S0022481200009208_ref004","first-page":"473","volume":"52","author":"Carnielli","year":"1987","journal-title":"Systematization of finite many-valued logics through the method of tableaux"},{"key":"S0022481200009208_ref013","volume-title":"A Treatise on Many-Valued Logics","author":"Gottwald","year":"2001"},{"key":"S0022481200009208_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08494-6"},{"key":"S0022481200009208_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"S0022481200009208_ref006","first-page":"848","volume-title":"Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)","author":"Carnielli","year":"2001"},{"key":"S0022481200009208_ref001","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004991115882"},{"key":"S0022481200009208_ref011","volume-title":"Fibring logics","author":"Gabbay","year":"1999"},{"key":"S0022481200009208_ref009","first-page":"1057","volume":"61","author":"Gabbay","year":"1996","journal-title":"Fibred semantics and the weaving of logics: Part 1"},{"key":"S0022481200009208_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BF00357841"},{"key":"S0022481200009208_ref003","article-title":"Fibringnon-truth-functional logics: Completeness preservation","author":"Caleiro","journal-title":"Journal of Logic, Language and Information"},{"key":"S0022481200009208_ref005","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","article-title":"Limits for paraconsistency calculi","volume":"40","author":"Carnielli","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200009208_ref007","first-page":"1","volume-title":"Proceedings of the 2nd World Congress on Paraconsistency 2000","author":"Carnielli","year":"2002"},{"key":"S0022481200009208_ref010","first-page":"1","volume-title":"Frontiers of combining systems","author":"Gabbay","year":"1996"},{"key":"S0022481200009208_ref012","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810270803"},{"key":"S0022481200009208_ref017","volume-title":"Preprint","author":"Sernadas","year":"2001"},{"key":"S0022481200009208_ref018","first-page":"414","volume":"66","author":"Zanardo","year":"2001","journal-title":"Fibring: Completeness Preservation"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T20:18:12Z","timestamp":1557173892000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009208\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S0022481200009208"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150298","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}