Injective and Projective Heyting Algebras (Q5597549): Difference between revisions

@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic as Mathematical Science
@@ Property / cites work: Logic as Mathematical Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721231
@@ Property / cites work: Q5721231 / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Q5650663
@@ Property / cites work: Q5650663 / rank @@
+Normal rank