{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:10:01Z","timestamp":1749726601789,"version":"3.41.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1023\/a:1022301711366","type":"journal-article","created":{"date-parts":[[2003,3,28]],"date-time":"2003-03-28T22:25:21Z","timestamp":1048890321000},"page":"183-211","source":"Crossref","is-referenced-by-count":13,"title":["Fibring Non-Truth-Functional Logics: Completeness Preservation"],"prefix":"10.1007","volume":"12","author":[{"given":"C.","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"W.A.","family":"Carnielli","sequence":"additional","affiliation":[]},{"given":"M.E.","family":"Coniglio","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5103301_CR1","doi-asserted-by":"crossref","unstructured":"Astesiano, E. and Cerioli, M., 1994, \u201cMultiparadigm specification languages: A first attempt at foundations,\u201d pp. 168\u2013185 in Semantics of Specification Languages (SoSL'93), C.A. Middelburg, D.J. Andrews, and J.F. Groote, eds., Workshops in Computing, Berlin: Springer-Verlag.","DOI":"10.1007\/978-1-4471-3229-5_10"},{"key":"5103301_CR2","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1990","unstructured":"Barr, M. and Wells, C., 1990, Category Theory for Computing Science, Englewood Cliffs, NJ: Prentice Hall."},{"key":"5103301_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-69778-0_15","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, Tableaux'98, Proceedings","author":"B. Beckert","year":"1998","unstructured":"Beckert, B. and Gabbay, D., 1998, \u201cFibring semantic tableaux,\u201d pp. 77\u201392 in Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, Tableaux'98, Proceedings, H. de Swart, ed., Lecture Notes in Artificial Intelligence, Vol. 1397, Berlin: Springer-Verlag."},{"key":"5103301_CR4","first-page":"95","volume":"37","author":"J.-Y. B\u00e9ziau","year":"1994","unstructured":"B\u00e9ziau, J.-Y. and da Costa, N.C.A., 1994, \u201cTh\u00e9orie de la valuation,\u201d Logique et Analyse\n37, 95\u2013117.","journal-title":"Logique et Analyse"},{"key":"5103301_CR5","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G., 1967, Lattice Theory, AMS Colloquium Publications, Providence, RI: American Mathematical Society."},{"key":"5103301_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"Blackburn, P. and de Rijke, M., 1997, \u201cWhy combine logics?,\u201d Studia Logica\n59, 5\u201327.","journal-title":"Studia Logica"},{"key":"5103301_CR7","first-page":"69","volume":"22","author":"W. Carnielli","year":"1999","unstructured":"Carnielli, W. and Coniglio, M.E., 1999, \u201cA categorial approach to the combination of logics,\u201d Manuscrito\n22, 69\u201394.","journal-title":"Manuscrito"},{"key":"5103301_CR8","series-title":"Research Report","volume-title":"Fibring (para) consistent logics","author":"M.E. Coniglio","year":"2000","unstructured":"Coniglio, M.E., Martins, A., Sernadas, A., and Sernadas, C., 2000, \u201cFibring (para) consistent logics,\u201d Research Report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, Lisbon, Extended abstract, Presented at II World Congress on Paraconsistency \u2013WCP'2000."},{"key":"5103301_CR9","volume-title":"Sistemas formais inconsistentes","author":"N.C.A. da Costa","year":"1963","unstructured":"da Costa, N.C.A., 1963, \u201cSistemas formais inconsistentes,\u201d Cathedra Thesis, UFPR, Brazil, Published by Editora UFPR in 1993."},{"key":"5103301_CR10","first-page":"621","volume":"18","author":"N.C.A. da Costa","year":"1977","unstructured":"da Costa, N.C.A. and Alves, E., 1977, \u201cA semantical analysis of the calculi Cn,\u201d Notre Dame Journal of Formal Logic\n18, 621\u2013630.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5103301_CR11","first-page":"293","volume":"16","author":"N.C.A. da Costa","year":"1988","unstructured":"da Costa, N.C.A. and Carnielli, W., 1988, \u201cParaconsistent deontic logic,\u201d Philosophia \u2013 The Philosophical Quarterly of Israel\n16, 293\u2013305.","journal-title":"Philosophia \u2013 The Philosophical Quarterly of Israel"},{"key":"5103301_CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF00370438","volume":"38","author":"H. Deutsch","year":"1979","unstructured":"Deutsch, H., 1979, \u201cThe completeness of &,\u201d Studia Logica\n38, 137\u2013147.","journal-title":"Studia Logica"},{"key":"5103301_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00297573","volume":"13","author":"H. Deutsch","year":"1984","unstructured":"Deutsch, H., 1984, \u201cParaconsistent analytic implication,\u201d Journal of Philosophical Logic\n13, 1\u201311.","journal-title":"Journal of Philosophical Logic"},{"key":"5103301_CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and Gabbay, D., 1992, \u201cAdding a temporal dimension to a logic system,\u201d Journal of Logic, Language and Information\n1, 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"5103301_CR15","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"Gabbay, D., 1996, \u201cFibred semantics and the weaving of logics: Part 1,\u201d Journal of Symbolic Logic\n61, 1057\u20131120.","journal-title":"Journal of Symbolic Logic"},{"key":"5103301_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503811.001.0001","volume-title":"Fibring Logics","author":"D. Gabbay","year":"1998","unstructured":"Gabbay, D., 1998, Fibring Logics, Oxford: Oxford University Press."},{"key":"5103301_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J. and Burstall, R., 1992, \u201cInstitutions: Abstract model theory for specification and programming,\u201d Journal of the ACM\n39, 95\u2013146.","journal-title":"Journal of the ACM"},{"key":"5103301_CR18","first-page":"307","volume":"11","author":"J. Goguen","year":"1985","unstructured":"Goguen, J. and Meseguer, J., 1985, \u201cCompleteness of many-sorted equational logic,\u201d Houston Journal of Mathematics\n11, 307\u2013334.","journal-title":"Houston Journal of Mathematics"},{"key":"5103301_CR19","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"Hughes, G. and Cresswell, M., 1996, A New Introduction to Modal Logic, London: Routledge."},{"key":"5103301_CR20","volume-title":"The Lemmon Notes: An Introduction to Modal Logic","author":"E. Lemmon","year":"1977","unstructured":"Lemmon, E. and Scott, E., 1977, The Lemmon Notes: An Introduction to Modal Logic, Oxford: Blackwell. Edited by K. Segerberg."},{"key":"5103301_CR21","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1305\/ndjfl\/1093635932","volume":"32","author":"R. Lewin","year":"1991","unstructured":"Lewin, R., Mikenberg, I., and Schwarze, M., 1991, \u201cC1 is not algebraizable,\u201d Notre Dame Journal of Formal Logic\n32, 609\u2013611.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5103301_CR22","unstructured":"Lopari\u0107, A. and Alves, E., 1980, \u201cThe semantics of the systems Cn of da Costa,\u201d pp. 161\u2013172 in Proceedings of the 3rd Brazilian Conference on Mathematical Logic, A. Arruda, N.C.A. da Costa, and A. Sette, eds., Sociedade Brasileira de L\u00f3gica."},{"key":"5103301_CR23","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S., 1971, Categories for the Working Mathematician, Berlin: Springer-Verlag."},{"key":"5103301_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Developments in Algebraic Development Techniques \u2013 Selected Papers","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J., 1998, \u201cMembership algebra as a logical framework for equational specification,\u201d pp. 18\u201361 in Recent Developments in Algebraic Development Techniques \u2013 Selected Papers, F. Parisi-Presicce, ed., Lecture Notes in Computer Science, Vol. 1376, Berlin: Springer-Verlag."},{"key":"5103301_CR25","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1305\/ndjfl\/1093883254","volume":"21","author":"C. Mortensen","year":"1980","unstructured":"Mortensen, C., 1980, \u201cEvery quotient algebra for C1 is trivial,\u201d Notre Dame Journal of Formal Logic\n21, 694\u2013700.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5103301_CR26","first-page":"3","volume":"31","author":"L. Puga","year":"1988","unstructured":"Puga, L., da Costa, N.C.A., and Carnielli, W., 1988, \u201cKantian and non-Kantian logics,\u201d Logique et Analyse\n31, 3\u20139.","journal-title":"Logique et Analyse"},{"key":"5103301_CR27","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/logcom\/12.3.443","volume":"12","author":"J. Rasga","year":"2002","unstructured":"Rasga, J., Sernadas, A., Sernadas, C., and Vigan\u00f2, L., 2002, \u201cFibring labelled deduction systems,\u201d Journal of Logic and Computation\n12, 443\u2013473.","journal-title":"Journal of Logic and Computation"},{"key":"5103301_CR28","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1142\/9789812794499_0007","volume-title":"Current Trends in Theoretical Computer Science","author":"D. Sannella","year":"1993","unstructured":"Sannella, D. and Tarlecki, A., 1993, \u201cAlgebraic specification and formal methods for program development: What are the real problems?,\u201d pp. 115\u2013120 in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salomaa, eds., Essays and Tutorials, Singapore: World Scientific Press."},{"key":"5103301_CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., and Caleiro, C., 1999, \u201cFibring of logics as a categorial construction,\u201d Journal of Logic and Computation\n9, 149\u2013179.","journal-title":"Journal of Logic and Computation"},{"key":"5103301_CR30","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C., and Mossakowski, T., 2000, \u201cCategorial fibring of logics with terms and binding operators,\u201d pp. 295\u2013316 in Frontiers of Combining Systems 2, D. Gabbay and M. de Rijke, eds., Research Studies Press."},{"key":"5103301_CR31","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"Zanardo, A., Sernadas, A., and Sernadas, C., 2001, \u201cFibring: Completeness preservation,\u201d Journal of Symbolic Logic\n66, 414\u2013439.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022301711366.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022301711366\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022301711366.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:32:43Z","timestamp":1749724363000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022301711366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["5103301"],"URL":"https:\/\/doi.org\/10.1023\/a:1022301711366","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}