{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T12:30:31Z","timestamp":1772541031555,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662556641","type":"print"},{"value":"9783662556658","type":"electronic"}],"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_29","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"422-437","source":"Crossref","is-referenced-by-count":5,"title":["Logical Argumentation Principles, Sequents, and Nondeterministic Matrices"],"prefix":"10.1007","author":[{"given":"Esther Anna","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"29_CR1","unstructured":"Amgoud, L., Besnard, P., Hunter, A.: Foundations for a logic of arguments. In: Logical Reasoning and Computation: Essays dedicated to Luis Fari\u00f1as del Cerro, pp. 95\u2013108 (2016)"},{"issue":"1","key":"29_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1080\/19462166.2014.1002536","volume":"6","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Stra\u00dfer, C.: Sequent-based logical argumentation. Argument Comput. 6(1), 73\u201399 (2015)","journal-title":"Argument Comput."},{"issue":"3","key":"29_CR3","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":"29_CR4","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., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227\u2013304. Springer, Dordrecht (2011). doi:\n10.1007\/978-94-007-0479-4_4"},{"key":"29_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262026437.001.0001","volume-title":"Elements of Argumentation","author":"P Besnard","year":"2008","unstructured":"Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press, Cambridge (2008)"},{"issue":"2","key":"29_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"MWA Caminada","year":"2009","unstructured":"Caminada, M.W.A., Gabbay, D.M.: A logical account of formal argumentation. Stud. Logica 93(2), 109\u2013145 (2009)","journal-title":"Stud. Logica"},{"issue":"2","key":"29_CR7","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic","author":"JM Dunn","year":"2002","unstructured":"Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, pp. 1\u2013128. Springer, Dordrecht (2002). doi:\n10.1007\/978-94-017-0460-1_1"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-662-44116-9_6","volume-title":"Pristine Perspectives on Logic, Language, and Computation","author":"S Dyrkolbotn","year":"2014","unstructured":"Dyrkolbotn, S.: On a formal connection between truth, argumentation and belief. In: Colinet, M., Katrenko, S., Rendsvig, R.K. (eds.) ESSLLI Student Sessions 2013. LNCS, vol. 8607, pp. 69\u201390. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-662-44116-9_6"},{"issue":"2","key":"29_CR10","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s11787-011-0036-3","volume":"5","author":"DM Gabbay","year":"2011","unstructured":"Gabbay, D.M.: Dungs argumentation is essentially equivalent to classical propositional logic with the peirce-quine dagger. Logica Universalis 5(2), 255\u2013318 (2011)","journal-title":"Logica Universalis"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das Logische Schlie\u00dfen I & II. Mathematische Zeitschrift 39(1), 176\u2013210, 405\u2013431 (1935)","DOI":"10.1007\/BF01201353"},{"issue":"9\u201310","key":"29_CR12","doi-asserted-by":"crossref","first-page":"1479","DOI":"10.1016\/j.artint.2010.12.003","volume":"175","author":"N Gorogiannis","year":"2011","unstructured":"Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artif. Intell. 175(9\u201310), 1479\u20131497 (2011)","journal-title":"Artif. Intell."},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-21940-5_12","volume-title":"Argumentation in Multi-Agent Systems","author":"D Grossi","year":"2011","unstructured":"Grossi, D.: Argumentation in the view of modal logic. In: McBurney, P., Rahwan, I., Parsons, S. (eds.) ArgMAS 2010. LNCS (LNAI), vol. 6614, pp. 190\u2013208. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21940-5_12"},{"key":"29_CR14","unstructured":"Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G., Lesperance, Y., Luck, M., Sandip, S. (eds.) Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 409\u2013416. International Foundation for Autonomous Agents and Multiagent Systems (2010)"},{"key":"29_CR15","volume-title":"Argumentation in Artificial Intelligence","author":"I Rahwan","year":"2009","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer, New York (2009)"},{"key":"29_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:14:34Z","timestamp":1505146474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}