{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:02:56Z","timestamp":1743145376011,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_22","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T00:28:49Z","timestamp":1244248129000},"page":"268-280","source":"Crossref","is-referenced-by-count":7,"title":["Classic-Like Analytic Tableaux for Finite-Valued Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1093\/logcom\/10.2.213","volume":"10","author":"S. Aguzzoli","year":"2000","unstructured":"Aguzzoli, S., Ciabattoni, A., Di Nola, A.: Sequent calculi for finite-valued \u0141ukasiewicz logics via Boolean decompositions. Journal of Logic and Computation\u00a010(2), 213\u2013222 (2000)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR2","doi-asserted-by":"publisher","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. Journal of Logic and Computation\u00a015, 241\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR3","first-page":"143","volume-title":"Computer Science and Multiple-Valued Logics, Selected Papers from the IV International Symposium on Multiple-Valued Logics","author":"S.J. Surma","year":"1974","unstructured":"Surma, S.J.: An algorithm for axiomatizing every finite logic. In: Rine, D.C. (ed.) Computer Science and Multiple-Valued Logics, Selected Papers from the IV International Symposium on Multiple-Valued Logics, 2nd edn., pp. 143\u2013149. North-Holland, Amsterdam (1974) 2nd edn. (1984)","edition":"2"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G.: Automated deduction for many-valued logics. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1355\u20131402. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50022-9"},{"issue":"176","key":"22_CR5","first-page":"373","volume":"44","author":"J.-Y. B\u00e9ziau","year":"2001","unstructured":"B\u00e9ziau, J.-Y.: Sequents and bivaluations. Logique et Analyse (N.S.)\u00a044(176), 373\u2013394 (2001)","journal-title":"Logique et Analyse (N.S.)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-7643-7304-0_10","volume-title":"Logica Universalis","author":"C. Caleiro","year":"2005","unstructured":"Caleiro, C., Carnielli, W., Coniglio, M.E., Marcos, J.: Two\u2019s company: The humbug of many logical values. In: B\u00e9ziau, J.-Y. (ed.) Logica Universalis, pp. 169\u2013189. Birkh\u00e4user Verlag, Basel (2005), http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/CaleiroC\/05-CCCM-dyadic.pdf"},{"key":"22_CR7","unstructured":"Caleiro, C., Carnielli, W.A., Coniglio, M.E., Marcos, J.: How many logical values are there? Dyadic semantics for many-valued logics. Draft (forthcoming) (2005)"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W.A. Carnielli","year":"1987","unstructured":"Carnielli, W.A.: Systematization of the finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic\u00a052(2), 473\u2013493 (1987)","journal-title":"The Journal of Symbolic Logic"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"1791","DOI":"10.1016\/B978-044450813-3\/50027-8","volume-title":"Handbook of Automated Reasoning","author":"C.G. Ferm\u00fcller","year":"2001","unstructured":"Ferm\u00fcller, C.G., Leitsch, A., Hustadt, U., Tammet, T.: Resolution decision procedures. In: Handbook of Automated Reasoning, pp. 1791\u20131849. Elsevier, Amsterdam (2001)"},{"key":"22_CR10","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.: Tableaux for many-valued logics. In: D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 529\u2013580. Springer, Heidelberg (1999)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-017-0452-6_5","volume-title":"Handbook of Philosophical Logic","author":"R. H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a02, pp. 297\u2013395. Kluwer, Dordrecht (2001)","edition":"2"},{"key":"22_CR12","unstructured":"Marcos, J.: Possible-translations semantics. In: Carnielli, W.A., Dion\u00edsio, F.M., Mateus, P. (eds.) Proceedings of the Workshop on Combination of Logics: Theory and applications (CombLog 2004), held in Lisbon, PT. 1049-001 Lisbon, PT, 2004. Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico. July 28\u201330, 2004, Lisbon, PT, July 28\u201330, 2004, pp. 119\u2013128 (2004), http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/MarcosJ\/04-M-pts.pdf"},{"key":"22_CR13","unstructured":"Marcos, J., Mendon\u00e7a, D.: Towards fully automated axiom extraction for finite-valued logics. In: Carnielli, W., Coniglio, M.E., D\u2019Ottaviano, I.M.L. (eds.) The Many Sides of Logic, London. Studies in Logic. College Publications (2009), http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/MarcosJ\/08-MM-towards.pdf"},{"key":"22_CR14","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Many-Valued Logics","author":"J.B. Rosser","year":"1952","unstructured":"Rosser, J.B., Turquette, A.R.: Many-Valued Logics. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1952)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/BF02120672","volume":"36","author":"R. Suszko","year":"1977","unstructured":"Suszko, R.: The Fregean Axiom and Polish mathematical logic in the 1920s. Studia Logica\u00a036, 373\u2013380 (1977)","journal-title":"Studia Logica"},{"key":"22_CR16","doi-asserted-by":"publisher","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)"}],"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-642-02261-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:31:51Z","timestamp":1558362711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}