{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T09:54:47Z","timestamp":1763978087813,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"S22","license":[{"start":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T00:00:00Z","timestamp":1551312000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T00:00:00Z","timestamp":1551312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"FEDER-PT2020","award":["UID\/EEA\/50008\/2013"],"award-info":[{"award-number":["UID\/EEA\/50008\/2013"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11229-019-02142-8","type":"journal-article","created":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T08:26:02Z","timestamp":1551342362000},"page":"5373-5390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Axiomatizing non-deterministic many-valued generalized consequence relations"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6941-7555","authenticated-orcid":false,"given":"S\u00e9rgio","family":"Marcelino","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,28]]},"reference":[{"key":"2142_CR1","volume-title":"Handbook of modal logics","author":"C Areces","year":"2006","unstructured":"Areces, C., & ten Cate, B. (2006). Hybrid logics. In P. Blackburn, F. Wolter, & J. van Benthem (Eds.), Handbook of modal logics. Amsterdam: Elsevier."},{"issue":"1","key":"2142_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Simple consequence relations. Information and Computation, 92(1), 105\u2013139.","journal-title":"Information and Computation"},{"key":"2142_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/oso\/9780198538592.003.0008","volume-title":"What is a logical system?","author":"A Avron","year":"1994","unstructured":"Avron, A. (1994). What is a logical system? In D. Gabbay (Ed.), What is a logical system? (pp. 217\u2013259). Oxford: Oxford Science Publications."},{"issue":"1","key":"2142_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","volume":"1","author":"A Avron","year":"2007","unstructured":"Avron, A., Ben-Naim, J., & Konikowska, B. (2007). Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Logica Universalis, 1(1), 41\u201370.","journal-title":"Logica Universalis"},{"issue":"4","key":"2142_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/jigpal\/jzi030","volume":"13","author":"A Avron","year":"2005","unstructured":"Avron, A., & Konikowska, B. (2005). Multi-valued calculi for logics based on non-determinism. Logic Journal of the IGPL, 13(4), 365\u2013387.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"2142_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., & Lev, I. (2005). Non-deterministic multiple-valued structures. Journal of Logic and Computation, 15(3), 241\u2013261.","journal-title":"Journal of Logic and Computation"},{"key":"2142_CR7","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. (2011). Non-deterministic semantics for logical systems. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 16, pp. 227\u2013304). Berlin: Springer."},{"key":"2142_CR8","doi-asserted-by":"publisher","first-page":"1355","DOI":"10.1016\/B978-044450813-3\/50022-9","volume-title":"Handbook of automated reasoning","author":"M Baaz","year":"2001","unstructured":"Baaz, M., Ferm\u00fcller, C., & Salzer, G. (2001). Automated deduction for many-valued logics. In A. Robinson & A. Voronkov (Eds.), Handbook of automated reasoning (pp. 1355\u20131402). Amsterdam: Elsevier."},{"issue":"4","key":"2142_CR9","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., Lahav, O., & Zamansky, A. (2013). Finite-valued semantics for canonical labelled calculi. Journal of Automated Reasoning, 51(4), 401\u2013430.","journal-title":"Journal of Automated Reasoning"},{"key":"2142_CR10","volume-title":"Modern uses of multiple-valued logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N. (1977). A useful four-valued logic. In J. M. Dunn & G. Epstein (Eds.), Modern uses of multiple-valued logic. Dordrecht: D. Reidel."},{"key":"2142_CR11","volume-title":"Algebraizable logics. Number 396 in Memoirs of the AMS","author":"W Blok","year":"1989","unstructured":"Blok, W., & Pigozzi, D. (1989). Algebraizable logics. Number 396 in Memoirs of the AMS. Providence: American Mathematical Society."},{"key":"2142_CR12","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Marcelino, S., & Marcos, J. (2017). Merging fragments of classical logic. In C. Dixon & M. Finger (Eds.), 11th international symposium on FroCoS 2017: Frontiers of combining systems, Volume 10483 of LNCS (pp. 298\u2013315). Berlin: Springer.","DOI":"10.1007\/978-3-319-66167-4_17"},{"key":"2142_CR13","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 and Systems, 345, 113\u2013125.","journal-title":"Fuzzy Sets and Systems"},{"key":"2142_CR14","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tcs.2015.07.016","volume":"603","author":"C Caleiro","year":"2015","unstructured":"Caleiro, C., Marcos, J., & Volpe, M. (2015). Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science, 603, 84\u2013110.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"2142_CR15","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF01371630","volume":"42","author":"J Czelakowski","year":"1983","unstructured":"Czelakowski, J. (1983). Some theorems on structural entailment relations. Studia Logica, 42(4), 417\u2013429.","journal-title":"Studia Logica"},{"key":"2142_CR16","volume-title":"Abstract algebraic logic: An introductory textbook","author":"J Font","year":"2016","unstructured":"Font, J. (2016). Abstract algebraic logic: An introductory textbook. London: College Publications."},{"key":"2142_CR17","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-94-017-1754-0_9","volume-title":"Handbook of tableau methods","author":"R H\u00e4hnle","year":"1999","unstructured":"H\u00e4hnle, R. (1999). Tableaux for many-valued logics. In M. D\u2019Agostino, D. Gabbay, R. H\u00e4hnle, & J. Posegga (Eds.), Handbook of tableau methods (pp. 529\u2013580). Berlin: Springer."},{"key":"2142_CR18","doi-asserted-by":"crossref","unstructured":"Lahav, O., & Y. Zohar (2014). On the construction of analytic sequent calculi for sub-classical logics. In U. Kohlenbach, Pablo Barcel\u00f3, R. de Queiroz (Eds.), Logic, language, information, and computation, WoLLIC 2014, volume 8652 of Lecture Notes in Computer Science (pp. 206\u2013220). Berlin: Springer.","DOI":"10.1007\/978-3-662-44145-9_15"},{"key":"2142_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01057933","volume":"53","author":"K Pa\u0142asi\u0144ska","year":"1994","unstructured":"Pa\u0142asi\u0144ska, K. (1994). Three-element nonfinitely axiomatizable matrices. Studia Logica, 53, 361\u2013372.","journal-title":"Studia Logica"},{"key":"2142_CR20","volume-title":"The mathematics of metamathematics","author":"H Rasiowa","year":"1963","unstructured":"Rasiowa, H., & Sikorski, R. (1963). The mathematics of metamathematics. Warszawa: Polish Scientific Publishers (PWN)."},{"issue":"4","key":"2142_CR21","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"},{"key":"2142_CR22","volume-title":"Logic, methodology and philosophy of science","author":"G Restall","year":"2005","unstructured":"Restall, G. (2005). Multiple conclusions. In P. H\u00e1jek, L. Vald\u00e9s-Villanueva, & D. Westerst\u00e5hl (Eds.), Logic, methodology and philosophy of science. London: College Publications."},{"key":"2142_CR23","volume-title":"Many-valued logics","author":"J Rosser","year":"1952","unstructured":"Rosser, J., & Turquette, A. (1952). Many-valued logics. Amsterdam: North Holland."},{"key":"2142_CR24","doi-asserted-by":"crossref","unstructured":"Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In L.\u00a0Henkin, J.\u00a0Addison, C.\u00a0Chang, W.\u00a0Craig, D.\u00a0Scott, & R.\u00a0Vaught (Eds.), Proceedings of the Tarski symposium, volume XXV of proceedings of symposia in pure mathematics (pp. 411\u2013435). Providence: American Mathematical Society.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"2142_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"D Shoesmith","year":"1978","unstructured":"Shoesmith, D., & Smiley, T. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."},{"issue":"3","key":"2142_CR26","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). Why conclusions should remain single. Journal of Philosophical Logic, 40(3), 333\u2013355.","journal-title":"Journal of Philosophical Logic"},{"key":"2142_CR27","unstructured":"W\u00f3jcicki, R. (1998). Theory of logical calculi, volume 199 of synthese library. South Holland: Kluwer."},{"issue":"8","key":"2142_CR28","first-page":"68","volume":"2","author":"A Wro\u0144ski","year":"1979","unstructured":"Wro\u0144ski, A. (1979). A three element matrix whose consequence operation is not finitely based. Bulletin of the Section of Logic, 2(8), 68\u201370.","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02142-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02142-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02142-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T06:12:39Z","timestamp":1721023959000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02142-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,28]]},"references-count":28,"journal-issue":{"issue":"S22","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["2142"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02142-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2019,2,28]]},"assertion":[{"value":"31 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}