Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction

DOI10.1007/s11225-009-9202-5zbMath1181.03028OpenAlexW1969951327WikidataQ62016805 ScholiaQ62016805MaRDI QIDQ1037610

Dov M. Gabbay, U. Schild, M. Abraham

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15950

zbMATH Keywords

argumentationargumentum a fortioriKal-Vachomermatrix abductionTalmudic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Related Items (8)

Topological Aspects of Matrix Abduction 1 ⋮ Topological Aspects of Matrix Abduction 2 ⋮ Inducing semantic relations from conceptual spaces: a data-driven approach to plausible reasoning ⋮ Homogeneous And Heterogeneous Logical Proportions: An Introduction ⋮ Principles Of Talmudic Logic ⋮ Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) ⋮ Qal wa- omer and Theory of Massive-Parallel Proofs ⋮ The Talmudic logic project, ongoing since 2008

Cites Work

• Unnamed Item
• Resource-origins of nonmonotonicity
• On the evaluation of argumentation formalisms
• Fibred security language
• A meta-model of access control in a fibred security language
• Logical modes of attack in argumentation networks
• The paradox of multiple elections
• Argument-based extended logic programming with defeasible priorities
• Reliable Methods of Judgement Aggregation
• An argumentation-theoretic foundation for logic programming
• Mechanizing Mathematical Reasoning

This page was built for publication: Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction