{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:28Z","timestamp":1740107848995,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T00:00:00Z","timestamp":1540771200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s00500-018-3584-0","type":"journal-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T05:01:53Z","timestamp":1540789313000},"page":"2213-2231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Combining fragments of classical logic: When are interaction principles needed?"],"prefix":"10.1007","volume":"23","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"S\u00e9rgio","family":"Marcelino","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2601-8164","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,29]]},"reference":[{"key":"3584_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","volume":"92","author":"A Avron","year":"2009","unstructured":"Avron A (2009) Multi-valued semantics: why and how. Studia Logica 92:163\u2013182","journal-title":"Studia Logica"},{"key":"3584_CR2","doi-asserted-by":"crossref","unstructured":"Avron A, Zohar Y (2017) Non-deterministic matrices in action: expansions, refinements, and rexpansions. In: 2017 IEEE 47th international symposium on multiple-valued logic (ISMVL), pp 118\u2013123","DOI":"10.1109\/ISMVL.2017.16"},{"issue":"4","key":"3584_CR3","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1093\/jigpal\/jzp084","volume":"19","author":"J-Y B\u00e9ziau","year":"2011","unstructured":"B\u00e9ziau J-Y, Coniglio M (2011) To distribute or not to distribute? Logic J IGPL 19(4):566\u2013583","journal-title":"Logic J IGPL"},{"key":"3584_CR4","doi-asserted-by":"crossref","unstructured":"Burris SN, Sankappanavar HP (1981) A course in universal algebra. Springer, Berlin. http:\/\/www.thoralf.uwaterloo.ca\/htdocs\/ualg.html","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"3584_CR5","first-page":"118","volume-title":"FroCoS 2007: frontiers of combining systems, LNAI","author":"C Caleiro","year":"2007","unstructured":"Caleiro C, Ramos J (2007) Combining classical and intuitionistic implications. In: Konev B, Wolter F (eds) FroCoS 2007: frontiers of combining systems, LNAI. Springer, New York, pp 118\u2013132"},{"key":"3584_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s11787-006-0004-5","volume":"1","author":"C Caleiro","year":"2007","unstructured":"Caleiro C, Ramos J (2007) From fibring to cryptofibring: a solution to the collapsing problem. Logica Universalis 1:71\u201392","journal-title":"Logica Universalis"},{"key":"3584_CR7","first-page":"123","volume-title":"Handbook of philosophical logic","author":"C Caleiro","year":"2005","unstructured":"Caleiro C, Carnielli W, Rasga J, Sernadas C (2005) Fibring of logics as a universal construction. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 13, 2nd edn. Kluwer, Dordrecht, pp 123\u2013187","edition":"2"},{"key":"3584_CR8","doi-asserted-by":"crossref","unstructured":"Caleiro C, Marcelino S, Marcos J (2017) Merging fragments of classical logic. In: Dixon C, Finger M (eds) FroCoS 2017: frontiers of combining systems, 11th international symposium, Bras\u00edlia, volume 10483 of LNCS. Springer, pp 298\u2013315","DOI":"10.1007\/978-3-319-66167-4_17"},{"key":"3584_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.fss.2017.10.014","volume":"345","author":"C Caleiro","year":"2018","unstructured":"Caleiro C, Marcelino S, Rivieccio U (2018) Characterizing finite-valuedness. Fuzzy Sets Syst 345:113\u2013125","journal-title":"Fuzzy Sets Syst"},{"key":"3584_CR10","unstructured":"Carnielli W, Coniglio M, Gabbay D, Gouveia P, Sernadas C (2008) Analysis and synthesis of logics: how to cut and paste reasoning systems, vol 35. Applied logic series. Springer, New York"},{"issue":"2","key":"3584_CR11","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s11787-007-0019-6","volume":"1","author":"M Coniglio","year":"2007","unstructured":"Coniglio M (2007) Recovering a logic from its fragments by meta-fibring. Logica Universalis 1(2):377\u2013416","journal-title":"Logica Universalis"},{"key":"3584_CR12","volume-title":"Applications of hyperstructure theory (advances in mathematics)","author":"P Corsini","year":"2009","unstructured":"Corsini P, Leoreanu V (2009) Applications of hyperstructure theory (advances in mathematics). Springer, New York"},{"key":"3584_CR13","unstructured":"del Cerro LF, Herzig A (1996) Combining classical and intuitionistic logic. Or: intuitionistic implication as a conditional. In: FroCoS 1996: frontiers of combining systems. Kluwer, pp 93\u2013102"},{"key":"3584_CR14","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D Gabbay","year":"1996","unstructured":"Gabbay D (1996) Fibred semantics and the weaving of logics: part 1. J Symb Logic 61:1057\u20131120","journal-title":"J Symb Logic"},{"key":"3584_CR15","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"GKE Gentzen","year":"1934","unstructured":"Gentzen GKE (1934) Untersuchungen \u00fcber das logische Schlie\u00dfen I. Math Z 39:176\u2013210","journal-title":"Math Z"},{"key":"3584_CR16","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/BF01650093","volume":"13","author":"G Gr\u00e4tzer","year":"1962","unstructured":"Gr\u00e4tzer G (1962) A representation theorem for multi-algebras. Arch Math 13:452\u2013456","journal-title":"Arch Math"},{"key":"3584_CR17","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone L (2011) The connectives. MIT Press, Cambridge"},{"key":"3584_CR18","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-319-10193-4_12","volume-title":"The road to universal logic: Festschrift for 50th birthday of Jean-Yves B\u00e9ziau","author":"L Humberstone","year":"2015","unstructured":"Humberstone L (2015) B\u00e9ziau on And and Or. In: Koslow A, Buchsbaum A (eds) The road to universal logic: Festschrift for 50th birthday of Jean-Yves B\u00e9ziau, vol I. Springer, New York, pp 283\u2013307"},{"key":"3584_CR19","volume-title":"Function algebras on finite sets: basic course on many-valued logic and clone theory","author":"D Lau","year":"2006","unstructured":"Lau D (2006) Function algebras on finite sets: basic course on many-valued logic and clone theory. Springer, New York"},{"issue":"7","key":"3584_CR20","first-page":"2063","volume":"27","author":"S Marcelino","year":"2017","unstructured":"Marcelino S, Caleiro C (2017) On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J Logic Comput 27(7):2063\u20132088","journal-title":"J Logic Comput"},{"key":"3584_CR21","doi-asserted-by":"crossref","unstructured":"Marcelino S, Caleiro C (2017) Disjoint fibring of non-deterministic matrices. In: Logic, language, information, and computation: 24th international workshop, WoLLIC 2017 proceedings, London, UK, July 18\u201321, pp 242\u2013255","DOI":"10.1007\/978-3-662-55386-2_17"},{"key":"3584_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s11225-009-9196-z","volume":"92","author":"J Marcos","year":"2009","unstructured":"Marcos J (2009) What is a non-truth-functional logic? Studia Logica 92:215\u2013240","journal-title":"Studia Logica"},{"key":"3584_CR23","volume-title":"On the two-valued iterative systems of mathematical logic","author":"EL Post","year":"1941","unstructured":"Post EL (1941) On the two-valued iterative systems of mathematical logic. Princeton University Press, Princeton"},{"issue":"4","key":"3584_CR24","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00401653","volume":"40","author":"W Rautenberg","year":"1981","unstructured":"Rautenberg W (1981) 2-Element matrices. Studia Logica 40(4):315\u2013353","journal-title":"Studia Logica"},{"issue":"4","key":"3584_CR25","doi-asserted-by":"publisher","first-page":"610","DOI":"10.2307\/2272465","volume":"36","author":"DJ Shoesmith","year":"1971","unstructured":"Shoesmith DJ, Smiley TJ (1971) Deducibility and many-valuedness. J Symbol Logic 36(4):610\u2013622","journal-title":"J Symbol Logic"},{"key":"3584_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith DJ, Smiley TJ (1978) Multiple-conclusion logic. Cambridge University Press, Cambridge"},{"issue":"3","key":"3584_CR27","doi-asserted-by":"publisher","first-page":"563","DOI":"10.2307\/2272897","volume":"39","author":"R W\u00f3jcicki","year":"1974","unstructured":"W\u00f3jcicki R (1974) Note on deducibility and many-valuedness. J Symbol Logic 39(3):563\u2013566","journal-title":"J Symbol Logic"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3584-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-3584-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3584-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T13:15:37Z","timestamp":1694006137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-3584-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,29]]},"references-count":27,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["3584"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-3584-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2018,10,29]]},"assertion":[{"value":"29 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declared that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}