Intuitionistic diagonalizable algebras (Q1134152): Difference between revisions

@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5659622
@@ Property / cites work: Q5659622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
+Normal rank
@@ Property / cites work @@
+Q4172049
@@ Property / cites work: Q4172049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678913
@@ Property / cites work: Q5678913 / rank @@
+Normal rank