{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:18:38Z","timestamp":1769602718709,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T00:00:00Z","timestamp":1500422400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000761","name":"Imperial College London","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000761","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s11225-017-9736-x","type":"journal-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T10:57:00Z","timestamp":1500461820000},"page":"237-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On Argumentation Logic and Propositional Logic"],"prefix":"10.1007","volume":"106","author":[{"given":"Antonis C.","family":"Kakas","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8194-1459","authenticated-orcid":false,"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,19]]},"reference":[{"key":"9736_CR1","doi-asserted-by":"crossref","unstructured":"Amgoud, L., Postulates for logic-based argumentation systems, International Journal of Approximate Reasoning 55(9): 2028\u20132048, 2014.","DOI":"10.1016\/j.ijar.2013.10.004"},{"key":"9736_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262026437.001.0001","volume-title":"Elements of Argumentation","author":"P Besnard","year":"2008","unstructured":"Besnard, P., and A. Hunter, Elements of Argumentation, MIT Press, Cambridge, 2008."},{"key":"9736_CR3","unstructured":"Da Costa, N. C. A., Sistemas Formais Inconsistentes, Universidade Federal do Parana, Parana, 1963. Thesis."},{"key":"9736_CR4","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, M., and S. Modgil, A rational account of classical logic argumentation for real-world agents in G. A. Kaminka, M. Fox, P. Bouquet, E. H\u00fcllermeier, V. Dignum, F. Dignum and F. van Harmelen (eds.), ECAI 2016: 22nd European Conference on Artificial Intelligence, vol. 285 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2016, pp. 141\u2013149.","DOI":"10.3233\/978-1-61499-672-9-141"},{"key":"9736_CR5","first-page":"3","volume":"4","author":"MA Castro De","year":"2000","unstructured":"De\u00a0Castro, M. A., and I. M. L. D\u2019Ottaviano, Natural deduction for paraconsistent logic, Logica Trianguli 4: 3\u201324, 2000.","journal-title":"Logica Trianguli"},{"issue":"1\/2","key":"9736_CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0004-3702(02)00245-X","volume":"141","author":"Y Dimopoulos","year":"2002","unstructured":"Dimopoulos, Y., B. Nebel, and F. Toni, On the computational complexity of assumption-based argumentation for default reasoning, Artificial Intelligence 141 (1\/2): 57\u201378, 2002.","journal-title":"Artificial Intelligence"},{"key":"9736_CR7","first-page":"89","volume":"7","author":"IML D\u2019Ottaviano","year":"1990","unstructured":"D\u2019Ottaviano, I. M. L., On the development of paraconsistent logic and Da Costa\u2019s work, The Journal of Non-Classical Logic 7: 89\u2013152, 1990.","journal-title":"The Journal of Non-classical Logic"},{"issue":"2","key":"9736_CR8","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.\u00a0M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence 77(2): 321\u2013358, 1995.","journal-title":"Artificial Intelligence"},{"key":"9736_CR9","unstructured":"Dung, P. M., A. C. Kakas, and P. Mancarella, Negation as failure revisited, in Technical Report, University of Pisa, 1992."},{"issue":"18","key":"9736_CR10","doi-asserted-by":"crossref","first-page":"1559","DOI":"10.1016\/j.artint.2009.09.001","volume":"173","author":"PE Dunne","year":"2009","unstructured":"Dunne, P.\u00a0E., The computational complexity of ideal semantics, Artificial Intelligence 173(18): 1559\u20131591, 2009.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9736_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G., Untersuchungen \u00fcber das Logische Schliessen, Mathematische Zeitschrift 39(1): 176\u2013210, 1935.","journal-title":"Mathematische Zeitschrift"},{"key":"9736_CR12","unstructured":"Ja\u015bkowski, S., On the rules of suppositions in formal logic, Studia Logica 1: 232\u2013258, 1934."},{"issue":"1","key":"9736_CR13","first-page":"4","volume":"17","author":"A Kakas","year":"2016","unstructured":"Kakas, A., and L.\u00a0Michael, Cognitive systems: argument and cognition, IEEE Intelligent Informatics Bulletin 17(1): 4\u201320, 2016.","journal-title":"IEEE Intelligent Informatics Bulletin"},{"key":"9736_CR14","unstructured":"Kakas, A.\u00a0C., P.\u00a0Mancarella, and P.\u00a0M. Dung, The acceptability semantics for logic programs, in ICLP, 1994, pp. 504\u2013519."},{"key":"9736_CR15","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/logcom\/9.4.515","volume":"9","author":"AC Kakas","year":"1999","unstructured":"Kakas, A.\u00a0C., and F.\u00a0Toni, Computing argumentation in logic programming, Journal of Logic and Computation 9: 515\u2013562, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"9736_CR16","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1093\/logcom\/exs068","volume":"23","author":"A Kakas","year":"2013","unstructured":"Kakas, A., and P. Mancarella, On the semantics of abstract argumentation, Journal of Logic and Computation 23: 991\u20131015, 2013.","journal-title":"Journal of Logic and Computation"},{"key":"9736_CR17","unstructured":"Kakas, A., L. Michael, and F. Toni, Argumentation: reconciling human and automated reasoning, in Second Workshop on Bridging the Gap Between Human and Automated Reasoning, IJCAI-16, 2016."},{"issue":"5","key":"9736_CR18","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1093\/logcom\/exs068","volume":"23","author":"AC Kakas","year":"2013","unstructured":"Kakas, A.\u00a0C., and P. Mancarella, On the semantics of abstract argumentation, Journal of Logic and Computation 23(5): 991\u20131015, 2013.","journal-title":"Journal of Logic and Computation"},{"key":"9736_CR19","unstructured":"Kakas, A.\u00a0C., F. Toni, and P. Mancarella, Argumentation logic, in S. Parsons, N. Oren, C. Reed and F. Cerutti (eds.), Computational Models of Argument: Proceedings of COMMA 2014, vol. 266 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2014, pp. 345\u2013356."},{"key":"9736_CR20","volume-title":"Natural Deduction: A Proof Theoretical Study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D., Natural Deduction: A Proof Theoretical Study, Almqvist and Wiksell, Stockholm, 1965."},{"key":"9736_CR21","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G Priest","year":"1991","unstructured":"Priest, G., Minimally inconsistent LP, Studia Logica 50: 321\u2013331, 1991.","journal-title":"Studia Logica"},{"key":"9736_CR22","doi-asserted-by":"crossref","unstructured":"Priest, G., R.\u00a0Routley, and J.\u00a0Norman, Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 1989.","DOI":"10.2307\/j.ctv2x8v8c7"},{"key":"9736_CR23","volume-title":"Argumentation in Artificial Intelligence","author":"I Rahwan","year":"2009","unstructured":"Rahwan, I., and G.\u00a0R. Simari, Argumentation in Artificial Intelligence, Springer, New York, 2009."},{"issue":"2","key":"9736_CR24","first-page":"185","volume":"9","author":"N Tennant","year":"1980","unstructured":"Tennant, N., A proof-theoretic approach to entailment, Philosophical Logic 9(2): 185\u2013209, 1980.","journal-title":"Philosophical Logic"},{"key":"9736_CR25","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00935749","volume":"43","author":"N Tennant","year":"1984","unstructured":"Tennant, N., Perfect validity, entailment and paraconsistency, Studia Logica 43: 179\u2013198, 1984.","journal-title":"Studia Logica"},{"issue":"3","key":"9736_CR26","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1017\/S0022481200029674","volume":"52","author":"N Tennant","year":"1987","unstructured":"Tennant, N., Natural deduction and sequent calculus for intuitionistic relevant logic, Symbolic Logic 52(3): 665\u2013680, 1987.","journal-title":"Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9736-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T16:01:48Z","timestamp":1750780908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9736-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,19]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9736"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9736-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,19]]}}}