Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
type: Item
instance of: scholarly article
title: Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
zbMATH Open document ID: 1181.03028
author: M. Abraham
author: Dov Gabbay
author: U. Schild
published in: Studia Logica
publication date: 2009-11-16T00:00:00Z
full work available at URL: http://orbilu.uni.lu/handle/10993/15950
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5633567
zbMATH Keywords: matrix abduction
zbMATH Keywords: Talmudic logic
zbMATH Keywords: argumentum a fortiori
zbMATH Keywords: Kal-Vachomer
zbMATH Keywords: argumentation
MaRDI profile type: Publication
OpenAlex ID: W1969951327
Wikidata QID: Q62016805
cites work: A meta-model of access control in a fibred security language
cites work: Mechanizing Mathematical Reasoning
cites work: Fibred security language
cites work: The paradox of multiple elections
cites work: On the evaluation of argumentation formalisms
cites work: An argumentation-theoretic foundation for logic programming
cites work: Logical modes of attack in argumentation networks
cites work: Q5692270
cites work: Resource-origins of nonmonotonicity
cites work: Reliable Methods of Judgement Aggregation
cites work: Argument-based extended logic programming with defeasible priorities
DOI: 10.1007/S11225-009-9202-5
DBLP publication ID: journals/sLogica/AbrahamGS09
description: scientific article; zbMATH DE number 5633567