{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:07:52Z","timestamp":1777892872818,"version":"3.51.4"},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4759,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2001,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings.<\/jats:p>","DOI":"10.2307\/2694931","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:03:53Z","timestamp":1146938633000},"page":"414-439","source":"Crossref","is-referenced-by-count":38,"title":["Fibring: completeness preservation"],"prefix":"10.1017","volume":"66","author":[{"given":"Alberto","family":"Zanardo","sequence":"first","affiliation":[]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200011415_ref015","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004904401346"},{"key":"S0022481200011415_ref014","first-page":"979","volume":"65","author":"Sambin","year":"2000","journal-title":"Basic logic: Reflection, symmetry, visibility"},{"key":"S0022481200011415_ref013","first-page":"1469","volume":"56","author":"Kracht","year":"1991","journal-title":"Properties of independently axiomatizable bi-modal logics"},{"key":"S0022481200011415_ref009","first-page":"1","volume-title":"Frontiers of combining systems","author":"Gabbay","year":"1996"},{"key":"S0022481200011415_ref006","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"Chagrov","year":"1997"},{"key":"S0022481200011415_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9868-7"},{"key":"S0022481200011415_ref002","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1978.tb00830.x"},{"key":"S0022481200011415_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"S0022481200011415_ref008","first-page":"1057","volume":"61","author":"Gabbay","year":"1996","journal-title":"Fibred semantics and the weaving of logics: part 1"},{"key":"S0022481200011415_ref010","volume-title":"Fibring logics","author":"Gabbay","year":"1999"},{"key":"S0022481200011415_ref017","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.149"},{"key":"S0022481200011415_ref005","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004991115882"},{"key":"S0022481200011415_ref012","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"S0022481200011415_ref011","first-page":"81","volume":"15","author":"Henkin","year":"1950","journal-title":"Completeness in the theory of types"},{"key":"S0022481200011415_ref019","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1305\/ndjfl\/1040046085","article-title":"A counterexample in tense logic","volume":"37","author":"Wolter","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200011415_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0000490"},{"key":"S0022481200011415_ref001","volume-title":"Category theory for computing science","author":"Barr","year":"1990"},{"key":"S0022481200011415_ref004","volume-title":"Modal logic and classical logic","author":"van Benthem","year":"1985"},{"key":"S0022481200011415_ref018","first-page":"295","volume-title":"Frontiers of combining systems - FroCoS'98","author":"Sernadas","year":"2000"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200011415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:19:51Z","timestamp":1707031191000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200011415\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0022481200011415"],"URL":"https:\/\/doi.org\/10.2307\/2694931","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}