Conservative extension in relevant implication (Q2264755): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5631082
@@ Property / cites work: Q5631082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730122
@@ Property / cites work: Q5730122 / rank @@
+Normal rank
@@ Property / cites work @@
+The pure calculus of entailment
@@ Property / cites work: The pure calculus of entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in Ackermann's “rigorous implication”
+Normal rank
@@ Property / cites work @@
+E and S4
@@ Property / cites work: E and S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank