{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:11Z","timestamp":1725486251525},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433811"},{"type":"electronic","value":"9783540459880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45988-x_18","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:19:02Z","timestamp":1181182742000},"page":"222-239","source":"Crossref","is-referenced-by-count":2,"title":["Labelled Deduction over Algebras of Truth-Values*"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Rasga","sequence":"first","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"M. Baaz","year":"1998","unstructured":"M. Baaz, C. G. Ferm\u00fcller, G. Salzer, and R. Zach. Labeled calculi and finite-valued logics. Studia Logica, 61(1):7\u201333, 1998.","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Vigan\u00f2, eds.. Labelled Deduction. KluwerAcademic Publishers, 2000.","key":"18_CR2","DOI":"10.1007\/978-94-011-4040-9"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1023\/A:1005003904639","volume":"60","author":"D. Basin","year":"1998","unstructured":"D. Basin, S. Matthews, and L. Vigan\u00f2. Natural deduction for non-classical logics. Studia Logica, 60(1):119\u2013160, 1998.","journal-title":"Studia Logica"},{"key":"18_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:5\u201327, 1997.","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.","key":"18_CR5","DOI":"10.1017\/CBO9781107050884"},{"doi-asserted-by":"crossref","unstructured":"L. Bolc and P. Borowik. Many-Valued Logics I. Springer-Verlag, 1992.","key":"18_CR6","DOI":"10.1007\/978-3-662-08494-6"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W. Carnielli","year":"1987","unstructured":"W. Carnielli. Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic, 52(2):473\u2013493, 1987.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00881958","volume":"13","author":"M. D'Agostino","year":"1994","unstructured":"M. D'Agostino and D. M. Gabbay. A Generalization of Analytic Deduction via Labelled Deductive Systems I: Basic Substructural Logics. Journal of Automated Reasoning, 13(2):243\u2013281, 1994.","journal-title":"Journal of Automated Reasoning"},{"doi-asserted-by":"crossref","unstructured":"M. D'Agostino, D. M. Gabbay, R. H\u00e4hnle, and J. Posegga, eds.. Handbook of Tableau Methods. KluwerAcademic Publishers, 1999.","key":"18_CR9","DOI":"10.1007\/978-94-017-1754-0"},{"doi-asserted-by":"crossref","unstructured":"J. M. Dunn. Relevance logic and entailment. In D. M. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic III, pp. 117\u2013224. D. Reidel Publ. Co, 1986.","key":"18_CR10","DOI":"10.1007\/978-94-009-5203-4_3"},{"doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Labelled Deductive Systems, volume 1. Clarendon Press, 1996.","key":"18_CR11","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Fibring Logics. Oxford University Press, 1999.","key":"18_CR12","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"unstructured":"S. Gottwald. A Treatise on Many-Valued Logics. Research Studies Press, 2001.","key":"18_CR13"},{"doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle. Tableaux forman y-valued logics. In D'Agostino et al. [9], pp. 529\u2013580.","key":"18_CR14","DOI":"10.1007\/978-94-017-1754-0_9"},{"unstructured":"J. Rasga, A. Sernadas, C. Sernadas, and L. Vigan\u00f2. Fibring deduction systems labelled with truth-values. Technical report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, Lisboa, Portugal, to appear.","key":"18_CR15"},{"unstructured":"J. Rasga, A. Sernadas, C. Sernadas, and L. Vigan\u00f2. Fibring labelled deduction systems. Journal of Logic and Computation, to appear.","key":"18_CR16"},{"doi-asserted-by":"crossref","unstructured":"G. Restall. Relevant and substructural logics. In D. M. Gabbay and J. Woods, eds., Handbook of the History and Philosophy of Logic. To appear.","key":"18_CR17","DOI":"10.1016\/S1874-5857(06)80030-0"},{"issue":"2","key":"18_CR18","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"},{"unstructured":"A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In M. de Rijke and D. M. Gabbay, eds., Frontiers of Combining Systems 2, pp. 295\u2013316. Research Studies Press, 2000.","key":"18_CR19"},{"unstructured":"A. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press, 1996.","key":"18_CR20"},{"doi-asserted-by":"crossref","unstructured":"L. Vigan\u00f2. Labelled Non-Classical Logics. KluwerAcademic Publishers, 2000.","key":"18_CR21","DOI":"10.1007\/978-1-4757-3208-5"},{"issue":"1","key":"18_CR22","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","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45988-X_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T22:16:21Z","timestamp":1707948981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45988-X_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433811","9783540459880"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45988-x_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}