乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:01Z","timestamp":1725902641933},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_17","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T11:24:53Z","timestamp":1498649093000},"page":"242-255","source":"Crossref","is-referenced-by-count":12,"title":["Disjoint Fibring of Non-deterministic Matrices"],"prefix":"10.1007","author":[{"given":"S\u00e9rgio","family":"Marcelino","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic multiple-valued structures. J. Logic Comput. 15(3), 241\u2013261 (2005)","journal-title":"J. Logic Comput."},{"key":"17_CR2","series-title":"Handbook of Philosophical Logic","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of Philosophical Logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol. 16, pp. 227\u2013304. Springer, Netherlands (2011). doi: 10.1007\/978-94-007-0479-4_4"},{"issue":"4","key":"17_CR3","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., Lahav, O., Zamansky, A.: Finite-valued semantics for canonical labelled calculi. J. Autom. Reasoning 51(4), 401\u2013430 (2013)","journal-title":"J. Autom. Reasoning"},{"issue":"4","key":"17_CR4","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1093\/jigpal\/jzp095","volume":"19","author":"J-Y B\u00e9ziau","year":"2011","unstructured":"B\u00e9ziau, J.-Y.: The challenge of combining logics. Logic J. IGPL 19(4), 543 (2011)","journal-title":"Logic J. IGPL"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.fss.2015.02.016","volume":"292","author":"M Bongini","year":"2016","unstructured":"Bongini, M., Ciabattoni, A., Montagna, F.: Proof search and co-np completeness for many-valued logics. Fuzzy Sets Syst. 292, 130\u2013149 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"17_CR6","unstructured":"Marcelino, S., Caleiro, C., Rivieccio, U.: Characterizing finite-valuedness. Technical report, SQIG - Instituto de Telecomunica\u00e7\u00f5es and IST - U Lisboa, Portugal (2017). Submitted for publication, 2017. http:\/\/sqig.math.ist.utl.pt\/pub\/CaleiroC\/17-CMR-finval.pdf"},{"issue":"1","key":"17_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s11787-006-0004-5","volume":"1","author":"C Caleiro","year":"2007","unstructured":"Caleiro, C., Ramos, J.: From fibring to cryptofibring: a solution to the collapsing problem. Logica Univers. 1(1), 71\u201392 (2007)","journal-title":"Logica Univers."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Sernadas, A.: Fibring logics. In: B\u00e9ziau, J.-Y. (ed.) Universal Logic: An Anthology (From Paul Hertz to Dov Gabbay), pp. 389\u2013396. Birkh\u00e4user (2012)","DOI":"10.1007\/978-3-0346-0145-0_29"},{"issue":"2","key":"17_CR9","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1093\/logcom\/exq022","volume":"21","author":"M Coniglio","year":"2011","unstructured":"Coniglio, M., Sernadas, A., Sernadas, C.: Preservation by fibring of the finite model property. J. Logic Comput. 21(2), 375\u2013402 (2011)","journal-title":"J. Logic Comput."},{"key":"17_CR10","series-title":"Advances in Mathematics","volume-title":"Applications of Hyperstructure Theory","author":"P Corsini","year":"2009","unstructured":"Corsini, P., Leoreanu, V.: Applications of Hyperstructure Theory. Advances in Mathematics. Springer, Heidelberg (2009)"},{"key":"17_CR11","unstructured":"Crawford, J.M., Etherington, D.W.: A non-deterministic semantics for tractable inference. In: Mostow, J., Rich, C. (eds.) Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, 26\u201330 July 1998, Madison, Wisconsin, USA, pp. 286\u2013291. AAAI Press\/The MIT Press (1998)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Fine, K., Schurz, G.: Transfer theorems for stratified multimodal logic. In: Copeland, J. (ed.) Logic and Reality: Proceedings of the Arthur Prior Memorial Conference, pp. 169\u2013123. Cambridge University Press (1996)","DOI":"10.1093\/oso\/9780198240600.003.0009"},{"key":"17_CR13","volume-title":"Abstract Algebraic Logic. An Introductory Textbook.","author":"JM Font","year":"2016","unstructured":"Font, J.M.: Abstract Algebraic Logic. An Introductory Textbook. College Publications, London (2016)"},{"key":"17_CR14","unstructured":"FroCoS. The International Symposium on Frontiers of Combining Systems. http:\/\/frocos.cs.uiowa.edu"},{"issue":"4","key":"17_CR15","doi-asserted-by":"crossref","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: modal and intuitionistic logics. J. Symbolic Logic 61(4), 1057\u20131120 (1996)","journal-title":"J. Symbolic Logic"},{"key":"17_CR16","series-title":"Oxford Logic Guides","volume-title":"Fibring Logics","author":"D Gabbay","year":"1999","unstructured":"Gabbay, D.: Fibring Logics. Oxford Logic Guides, vol. 38. Clarendon Press, Wotton-under-Edge (1999)"},{"key":"17_CR17","series-title":"Studies in Logic and Computation","volume-title":"A Treatise on Many-Valued Logics","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation. Research Studies Press, Baldock (2001)"},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1007\/BF01650093","volume":"13","author":"G Gr\u00e4tzer","year":"1962","unstructured":"Gr\u00e4tzer, G.: A representation theorem for multi-algebras. Arch. Math. 13, 452\u2013456 (1962)","journal-title":"Arch. Math."},{"key":"17_CR19","first-page":"283","volume-title":"B\u00e9ziau on And and Or","author":"L Humberstone","year":"2015","unstructured":"Humberstone, L.: B\u00e9ziau on And and Or, pp. 283\u2013307. Springer International Publishing, Cham (2015)"},{"issue":"4","key":"17_CR20","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M Kracht","year":"1991","unstructured":"Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. J. Symbolic Logic 56(4), 1469\u20131485 (1991)","journal-title":"J. Symbolic Logic"},{"issue":"5","key":"17_CR21","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1093\/jigpal\/jzw033","volume":"24","author":"S Marcelino","year":"2016","unstructured":"Marcelino, S., Caleiro, C.: Decidability and complexity of fibred logics without shared connectives. Logic J. IGPL 24(5), 673\u2013707 (2016)","journal-title":"Logic J. IGPL"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Marcelino, S., Caleiro, C.: On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Journal of Logic and Computation (2016). https:\/\/doi.org\/10.1093\/logcom\/exw023","DOI":"10.1093\/logcom\/exw023"},{"key":"17_CR23","unstructured":"Marty, F.: Sur une generalization de la notion de group. In Proceedings of the 8th Congres des Mathematiciens Scandinave, pp. 45\u201349 (1934)"},{"issue":"4","key":"17_CR24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00401653","volume":"40","author":"W Rautenberg","year":"1981","unstructured":"Rautenberg, W.: 2-element matrices. Stud. Logica. 40(4), 315\u2013353 (1981)","journal-title":"Stud. Logica."},{"key":"17_CR25","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1017\/S1755020311000219","volume":"4","author":"J Schechter","year":"2011","unstructured":"Schechter, J.: JUXTAPOSITION: a new way to combine logics. Rev. Symbolic Logic 4, 560\u2013606 (2011)","journal-title":"Rev. Symbolic Logic"},{"issue":"2","key":"17_CR26","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., Caleiro, C.: Fibring of logics as a categorial construction. J. Logic Comput. 9(2), 149\u2013179 (1999)","journal-title":"J. Logic Comput."},{"issue":"6","key":"17_CR27","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1093\/logcom\/exp024","volume":"19","author":"A Sernadas","year":"2009","unstructured":"Sernadas, A., Sernadas, C., Rasga, J., Coniglio, M.: On graph-theoretic fibring of logics. J. Log. Comput. 19(6), 1321\u20131357 (2009)","journal-title":"J. Log. Comput."},{"key":"17_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D Shoesmith","year":"1978","unstructured":"Shoesmith, D., Smiley, T.: Multiple-Conclusion Logic. Cambridge University Press, Cambridge (1978)"},{"key":"17_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)"},{"key":"17_CR30","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A Zanardo","year":"2001","unstructured":"Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: completeness preservation. J. Symbolic Logic 66, 414\u2013439 (2001)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T01:32:08Z","timestamp":1719279128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}