Finitely generated free Heyting algebras: the well-founded initial segment (Q4899176): Difference between revisions

@@ Property / author @@
-John K. Truss
@@ Property / author: John K. Truss / rank @@
-Normal rank
@@ Property / author @@
+John K. Truss
@@ Property / author: John K. Truss / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1999789292
@@ Property / OpenAlex ID: W1999789292 / rank @@
+Normal rank
@@ Property / cites work @@
+On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Free Heyting algebras
@@ Property / cites work: Free Heyting algebras / rank @@
+Normal rank