{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:38:47Z","timestamp":1743061127467,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_10","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"185-200","source":"Crossref","is-referenced-by-count":6,"title":["Completeness Results for Fibred Parchments"],"prefix":"10.1007","author":[{"given":"C.","family":"Caleiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Gouveia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Ramos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Handbook of Philosophical Logic","author":"H. Andr\u00e9ka","year":"2001","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., Sain, I.: Algebraic logic. In: Handbook of Philosophical Logic, 2nd edn., vol.\u00a02. Kluwer Academic Publishers, Dordrecht (2001)","edition":"2"},{"key":"10_CR2","unstructured":"Birkhoff, G.: Lattice Theory. AMS Colloquium Publications (1967)"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"Blackburn, P., Rijke, M.: Why combine logics? Studia Logica\u00a059(1), 5\u201327 (1997)","journal-title":"Studia Logica"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable Logics, vol.\u00a077. Memoires AMS (1989)","DOI":"10.1090\/memo\/0396"},{"key":"10_CR5","unstructured":"Caleiro, C.: Combining Logics. PhD thesis, Universidade T\u00e9cnica de Lisboa (2000)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-45645-7_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"2002","unstructured":"Caleiro, C., Mateus, P., Ramos, J., Sernadas, A.: Combining logics: Parchments revisited. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 48\u201370. Springer, Heidelberg (2002)"},{"key":"10_CR7","unstructured":"Coniglio, M.E., Sernadas, A., Sernadas, C.: Fibring logics with topos semantics. Journal of Logic and Computation (in print)"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. App. Cat. Str.\u00a010(4), 383\u2013402 (2002)","journal-title":"App. Cat. Str."},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"Gabbay, D.: Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic\u00a061(4), 1057\u20131120 (1996)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"J. Goguen","year":"1986","unstructured":"Goguen, J., Burstall, R.: A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 313\u2013333. Springer, Heidelberg (1986)"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"10_CR12","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Routledge, New York (1996)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Kracht, M., Kutz, O.: The semantics of modal predicate logic I: Counter-part frames. In: Advances in Modal Logic. CSLI, vol.\u00a03 (2002)","DOI":"10.1142\/9789812776471_0016"},{"key":"10_CR14","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. van Nostrand, D. (1979)"},{"key":"10_CR15","first-page":"275","volume-title":"Proceedings of the Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Proceedings of the Logic Colloquium 1987, pp. 275\u2013329. North-Holland, Amsterdam (1989)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-61629-2_54","volume-title":"Recent Trends in Data Type Specification","author":"T. Mossakowski","year":"1996","unstructured":"Mossakowski, T.: Using limits of parchments to systematically construct institutions of partial algebras. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 379\u2013393. Springer, Heidelberg (1996)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BFb0026988","volume-title":"Category Theory and Computer Science","author":"T. Mossakowski","year":"1997","unstructured":"Mossakowski, T., Tarlecki, A., Paw\u0142owski, W.: Combining and representing logical systems. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol.\u00a01290, pp. 177\u2013196. Springer, Heidelberg (1997)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Tarlecki, A., Paw\u0142owski, W.: Combining and representing logical systems using model-theoretic parchments. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 349\u2013364. Springer, Heidelberg (1998)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-540-40020-2_24","volume-title":"Recent Trends in Algebraic Development Techniques","author":"W. Paw\u0142owski","year":"2003","unstructured":"Paw\u0142owski, W.: Presenting and combining inference systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 409\u2013424. Springer, Heidelberg (2003)"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. Journal of Logic and Computation\u00a09(2), 149\u2013179 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR21","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C., Mossakowski, T.: Categorial fibring of logics with terms and binding operators. In: Frontiers of Combining Systems 2, pp. 295\u2013316. Research Studies Press (2000)"},{"issue":"4","key":"10_CR22","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/10.4.413","volume":"10","author":"A. Sernadas","year":"2002","unstructured":"Sernadas, A., Sernadas, C., Zanardo, A.: Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL\u00a010(4), 413\u2013451 (2002)","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"10_CR23","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.2178\/jsl\/1190150298","volume":"67","author":"C. Sernadas","year":"2002","unstructured":"Sernadas, C., Rasga, J., Carnielli, W.A.: Modulated fibring and the collapsing problem. Journal of Symbolic Logic\u00a067(4), 1541\u20131569 (2002)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: Completeness preservation. Journal of Symbolic Logic\u00a066(1), 414\u2013439 (2001)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:33Z","timestamp":1559199273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}