{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:21Z","timestamp":1725484281308},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_3","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"48-70","source":"Crossref","is-referenced-by-count":7,"title":["Combining Logics: Parchments Revisited"],"prefix":"10.1007","author":[{"given":"C.","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"P.","family":"Mateus","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"H. Andr\u00e9ka, \u00c1. Kurucz, I. N\u00e9meti, and I. Sain. Applying algebraic logic: a general methodology. Preprint, Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary, 1994.","DOI":"10.1007\/978-1-4471-3227-1_3"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0304-3975(95)00246-5","volume":"152","author":"E. Astesiano","year":"1995","unstructured":"E. Astesiano and M. Cerioli. Free objects and equational deduction for partial conditional specifications. Theoretical Computer Science, 152(1):91\u2013138, 1995.","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","unstructured":"G. Birkhoff. Lattice Theory. AMS Colloquium Publications, 1967."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"P. Blackburn and M. de Rijke. Why combine logics? Studia Logica, 59(1):5\u201327, 1997.","journal-title":"Studia Logica"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"W. Blok and D. Pigozzi. Algebraizable Logics, volume 77 of Memoires of the AMS. American Mathematical Society, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"3_CR6","first-page":"9","volume":"102","author":"D. Brown","year":"1973","unstructured":"D. Brown and R. Suszko. Abstract logics. Dissertationes Mathematicae, 102:9\u201341, 1973.","journal-title":"Dissertationes Mathematicae"},{"key":"3_CR7","unstructured":"C. Caleiro. Combining Logics. PhD thesis, IST, TU Lisbon, 2000."},{"key":"3_CR8","unstructured":"C. Caleiro, W.A. Carnielli, M.E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Preprint, Dep. Mathematics, IST, Lisbon, Portugal, 2000. Submitted."},{"key":"3_CR9","unstructured":"C. Caleiro and J. Marcos. Non-truth-functional fibred semantics. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (ICAI\u2019 2001), volume II, pages 841\u2013847. CSREA Press, Athens GA, USA, 2001."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1981","unstructured":"J. Czelakowski. Equivalential logics (I and II). Studia Logica, 40:227\u2013236and 355-372, 1981.","journal-title":"Studia Logica"},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","year":"1974","unstructured":"N.C.A. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15(4):497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"D. Gabbay. Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic, 61(4):1057\u20131120, 1996.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"D. Gabbay. Fibring Logics. Clarendon Press-Oxford, 1999.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"3_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"J. Goguen","year":"1986","unstructured":"J. Goguen and R. Burstall. A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In Category Theory and Computer Programming, volume 240 of LNCS, pages 313\u2013333. Springer-Verlag, 1986."},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"G. Hughes and M. Cresswell. A New Introduction to Modal Logic. Routledge, London, 1996."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Electronic Notes in Theoretical Computer Science, 4, 1996.","DOI":"10.1016\/S1571-0661(04)00040-4"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et al, editor, Proceedings of the Logic Colloquium\u201987, pages 275\u2013329. North-Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"3_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"T. Mossakowski. Using limits of parchments to systematically construct institutions of partial algebras. In Recent Trends in Data Type Specification, volume 1130 of LNCS, pages 379\u2013393. Springer-Verlag, 1996."},{"key":"3_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BFb0026988","volume-title":"Category Theory and Computer Science 97","author":"T. Mossakowski","year":"1997","unstructured":"T. Mossakowski, A. Tarlecki, and W. PawKlowski. Combining and representing logical systems. In Category Theory and Computer Science 97, volume 1290 of LNCS, pages 177\u2013196. Springer-Verlag, 1997."},{"key":"3_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"T. Mossakowski, A. Tarlecki, and W. PawKlowski. Combining and representing logical systems using model-theoretic parchments. In Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 349\u2013364. Springer-Verlag, 1998."},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149\u2013179, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR23","unstructured":"A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295\u2013316. Research Studies Press, 2000."},{"key":"3_CR24","unstructured":"A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics: Completeness preservation. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1049-001 Lisboa, Portugal, 2001. Submitted forpublication."},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"426","DOI":"10.2307\/2964550","volume":"27","author":"T. Smiley","year":"1962","unstructured":"T. Smiley. The independence of connectives. Journal of Symbolic Logic, 27(4):426\u2013436, 1962.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R. Burstall, and J. Goguen. Some fundamental algebraic tools for the semantics of computation. Part 3: indexed categories. Theoretical Computer Science, 91:239\u2013264, 1991.","journal-title":"Theoretical Computer Science"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 675\u2013787. ElsevierScience Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"R. W\u00f3jcicki. Theory of Logical Calculi. Synthese Library. Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-6942-2"},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(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\/3-540-45645-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T15:51:28Z","timestamp":1707925888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}