{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:29:28Z","timestamp":1725892168931},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642313646"},{"type":"electronic","value":"9783642313653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31365-3_7","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T20:35:34Z","timestamp":1340310934000},"page":"52-66","source":"Crossref","is-referenced-by-count":2,"title":["Effective Finite-Valued Semantics for Labelled Calculi"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","volume":"92","author":"A. Avron","year":"2009","unstructured":"A.A.: Multi-valued Semantics: Why and How. Studia Logica\u00a092, 163\u2013182 (2009)","journal-title":"Studia Logica"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., Lev, I.: Non-deterministic Multiple-valued Structures. Journal of Logic and Computation 15 (2005)","DOI":"10.1093\/logcom\/exi001"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume":"16","author":"A. Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-deterministic Semantics for Logical Systems. Handbook of Philosophical Logic\u00a016, 227\u2013304 (2011)","journal-title":"Handbook of Philosophical Logic"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-92687-0_3","volume-title":"Logical Foundations of Computer Science","author":"A. Avron","year":"2008","unstructured":"Avron, A., Zamansky, A.: Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A., Konikowska, B., Zamansky, A.: Modular Construction of Cut-Free Sequent Calculi for Paraconsistent Logics. To Appear in Proceedings of Logic in Computer Science (LICS 2012) (2012)","DOI":"10.1109\/LICS.2012.20"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"M. Baaz","year":"1998","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: Labelled Calculi and Finite-valued Logics. Studia Logica\u00a061, 7\u201333 (1998)","journal-title":"Studia Logica"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11225-006-6607-2","volume":"82","author":"A. Ciabattoni","year":"2006","unstructured":"Ciabattoni, A., Terui, K.: Towards a semantic characterization of cut elimination. Studia Logica\u00a082(1), 95\u2013119 (2006)","journal-title":"Studia Logica"},{"key":"7_CR8","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems, Volume 1","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Labelled Deductive Systems, Volume 1. Oxford Logic Guides, vol.\u00a033. Clarendon Press\/Oxford Science Publications, Oxford (1996)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Lahav, O.: Non-deterministic Matrices for Semi-canonical Deduction Systems. To Appear in Proceedings of IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL 2012) (2012)","DOI":"10.1109\/ISMVL.2012.48"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-02261-6_29","volume-title":"Logic, Language, Information and Computation","author":"K. Sano","year":"2009","unstructured":"Sano, K.: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 365\u2013378. Springer, Heidelberg (2009)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Stachniak, Z.: Resolution Proof Systems: An Algebraic Theory. Kluwer Academic Publishers (1996)","DOI":"10.1007\/978-94-009-1677-7"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31365-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T23:56:09Z","timestamp":1714089369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31365-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313646","9783642313653"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31365-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}