{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T13:00:05Z","timestamp":1778504405813,"version":"3.51.4"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s11225-009-9202-5","type":"journal-article","created":{"date-parts":[[2009,8,6]],"date-time":"2009-08-06T17:39:00Z","timestamp":1249580340000},"page":"281-364","source":"Crossref","is-referenced-by-count":20,"title":["Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction"],"prefix":"10.1007","volume":"92","author":[{"given":"M.","family":"Abraham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Schild","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,7]]},"reference":[{"key":"9202_CR1","unstructured":"Abraham, M., D. M. Gabbay, and U. Schild, Paper 340 Kal-Vachomer in Hebrew, BDD Journal, Bar Ilan University, 112 pages."},{"key":"9202_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s11225-009-9203-4","volume":"92","author":"S. Barker","year":"2009","unstructured":"Barker S., Boella G., Gabbay D.M., Genovese V.: \u2018A Meta-model of Access Control in a Fibred Security Language\u2019. Studia Logica 92, 437\u2013476 (2009)","journal-title":"Studia Logica"},{"key":"9202_CR3","doi-asserted-by":"crossref","unstructured":"Barringer, H., D. M. Gabbay, and J. Woods, \u2018Temporal dynamics of argumentation networks\u2019, in D. Hutter and W. Stephan (eds.), Mechanising Mathematical Reasoning, LNCS 2605, Springer, 2005, pp. 59\u201398.","DOI":"10.1007\/978-3-540-32254-2_5"},{"key":"9202_CR4","doi-asserted-by":"crossref","unstructured":"Becker, M. Y., J. F. Mackay, and B. Dillaway, \u2018Abductive Authorization Credential Gathering. http:\/\/research.microsoft.com\/pubs\/80508\/becker2009ieee-policysubmission. pdf","DOI":"10.1109\/POLICY.2009.23"},{"key":"9202_CR5","doi-asserted-by":"crossref","unstructured":"Besnard, P., and A. B. Hunter, Elements of Argumentation, MIT Press, 2008, 300 pages.","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"9202_CR6","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s11225-009-9201-6","volume":"92","author":"G. Boella","year":"2009","unstructured":"Boella G., Gabbay D.M., Genovese V., van der Torre L.: \u2018Fibred Security Language\u2019. Studia Logica 92, 395\u2013436 (2009)","journal-title":"Studia Logica"},{"key":"9202_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s003550050101","volume":"15","author":"S.J. Brams","year":"1998","unstructured":"Brams, S. J., D. M. Kilgour, and W. S. Zwicker, \u2018The paradox of multiple elections\u2019, Social Choice and Welfare 15: 211\u2013236, 1998.","journal-title":"Social Choice and Welfare"},{"issue":"5\u20136","key":"9202_CR8","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M.W.A. Caminada","year":"2007","unstructured":"Caminada, M. W. A., and L. Amgoud, \u2018On the evaluation of argumentation formalisms\u2019, Artificial Intelligence 171 (5\u20136): 286\u2013310, 2007.","journal-title":"Artificial Intelligence"},{"key":"9202_CR9","doi-asserted-by":"crossref","unstructured":"Dung, Phan Minh, \u2018An argumentation theoretic foundation for logic programming, Journal of Logic Programming 22 (2): 151\u2013171, 1995.","DOI":"10.1016\/0743-1066(95)94697-X"},{"key":"9202_CR10","volume-title":"Rational Rabbis: Science and Talmudic Culture","author":"M. Fisch","year":"1997","unstructured":"Fisch, M., Rational Rabbis: Science and Talmudic Culture, Indiana University Press, Bloomignton, 1997."},{"key":"9202_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., Labelled Deductive Systems, OUP, 1996.","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"9202_CR12","unstructured":"Gabbay, D. M., and A. Garcez, \u2018Logical modes of attack in argumentation networks\u2019. To appear in Studia Logica."},{"key":"9202_CR13","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., and J. Woods, The Reach of Abduction, Elsevier, 2005.","DOI":"10.1016\/S1874-5075(05)80021-X"},{"key":"9202_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s11225-008-9100-2","volume":"88","author":"D.M. Gabbay","year":"2008","unstructured":"Gabbay, D.M., and J.Woods, \u2018Resource origins of non-monotonicity\u2019, Studia Logica 88: 85\u2013112, 2008.","journal-title":"Studia Logica"},{"key":"9202_CR15","unstructured":"Grabenhorst, T. K., Das Argumentum A Fortiori, Peter Lang, 1990."},{"key":"9202_CR16","unstructured":"Hartmann, S., G. Pigozzi, and J. Sprenger, \u2018Reliable methods of judgement aggregation\u2019, Draft, 23 February 2009."},{"key":"9202_CR17","unstructured":"Hasan, A., Analogical reasoning in Islamic jurisprudence, 1986, Republished Adam Publishers, 2007, 486 pages."},{"key":"9202_CR18","unstructured":"Jacobs, L., Studies in Talmudic Logic and Methodology, London, Vallentine-Mitchell, 1061. Republished paperback, 2006."},{"key":"9202_CR19","unstructured":"Kamali, M. H., Principles of Islamic Jurisprudence, Islamic Text Society, 3rd Revised Eition, 2002, 550 pages."},{"key":"9202_CR20","doi-asserted-by":"crossref","first-page":"82","DOI":"10.2307\/796436","volume":"96","author":"L. Kornhauser","year":"1986","unstructured":"Kornhauser L., Sager L.: \u2018Unpacking the court\u2019. Yale Law Journal 96, 82\u2013117 (1986)","journal-title":"Yale Law Journal"},{"key":"9202_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/3480783","volume":"81","author":"L. Kornhauser","year":"1993","unstructured":"Kornhauser L., Sager L.: \u2018The one and the many: adjudication in collegial courts\u2019. California Law Review 81, 1\u201351 (1993)","journal-title":"California Law Review"},{"key":"9202_CR22","doi-asserted-by":"crossref","unstructured":"Kunst, A., \u2018An overlooked type of inference\u2019, Bulletin of the School of Oriental and African Studies, X, part 4, 1942, pp. 976\u2013991.","DOI":"10.1017\/S0041977X00090157"},{"key":"9202_CR23","unstructured":"Neusner, J., \u2018The making of the mind of Judaism; the formative age\u2019, Brown Judaic Studies, vol. 133, Scholars press, Atlanta, 1987."},{"key":"9202_CR24","unstructured":"Pigozzi, G., and L. van der Torre, \u2018Premise independence in judgement aggregation\u2019, Dagstuhl Seminar 07531, 2007."},{"key":"9202_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"Prakken, H., and G. Sartor, \u2018Argument based extended logic programming with defeasible priorities\u2019, Journal of Applied Non-classical Logics 7: 25\u201375, 1997.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9202_CR26","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1023\/A:1008236719573","volume":"6","author":"U.J. Schild","year":"1998","unstructured":"Schild, U. J., \u2018Criminal Sentencing and Intelligent Decision Support\u2019, Artificial Intelligence and Law 6: 2\u20134, 1998.","journal-title":"Artificial Intelligence and Law"},{"key":"9202_CR27","unstructured":"Schwarz, A., Der Hermeneutische Syllogismus in der Talmudischen, Ltitteratur, Karlsruhe, 1901."},{"key":"9202_CR28","unstructured":"Stebbing, V. L. S., A Modern Introduction to Logic, London, 1945."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9202-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9202-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9202-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T19:21:41Z","timestamp":1710530501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9202-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["9202"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9202-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}