On structural completeness of implicational logics (Q1181489): Difference between revisions

@@ Property / cites work @@
+The lattice of strengthenings of a strongly finite consequence operation
+Normal rank
@@ Property / cites work @@
+Q3333018
@@ Property / cites work: Q3333018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133631
@@ Property / cites work: Q4133631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616120
@@ Property / cites work: Q5616120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325691
@@ Property / cites work: Q3325691 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Q3342540
@@ Property / cites work: Q3342540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708781
@@ Property / cites work: Q3708781 / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+Q3762312
@@ Property / cites work: Q3762312 / rank @@
+Normal rank