Table admissible inference rules (Q431693): Difference between revisions

@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Q4390775
@@ Property / cites work: Q4390775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank