Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610): Difference between revisions

@@ Property / cites work @@
+A meta-model of access control in a fibred security language
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred security language
@@ Property / cites work: Fibred security language / rank @@
+Normal rank
@@ Property / cites work @@
+The paradox of multiple elections
@@ Property / cites work: The paradox of multiple elections / rank @@
+Normal rank
@@ Property / cites work @@
+On the evaluation of argumentation formalisms
@@ Property / cites work: On the evaluation of argumentation formalisms / rank @@
+Normal rank
@@ Property / cites work @@
+An argumentation-theoretic foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Logical modes of attack in argumentation networks
@@ Property / cites work: Logical modes of attack in argumentation networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692270
@@ Property / cites work: Q5692270 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource-origins of nonmonotonicity
@@ Property / cites work: Resource-origins of nonmonotonicity / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable Methods of Judgement Aggregation
@@ Property / cites work: Reliable Methods of Judgement Aggregation / rank @@
+Normal rank
@@ Property / cites work @@
+Argument-based extended logic programming with defeasible priorities
+Normal rank