Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
scientific article; zbMATH DE number 5633567