Q4966006 (Q4966006): 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 @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4126318
@@ Property / cites work: Q4126318 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Q4936643
@@ Property / cites work: Q4936643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Construction of an Explicit Basis for Rules Admissible in Modal System S4
+Normal rank