Modal operators on Heyting algebras (Q1151916): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Modal extensions of Heyting algebras
@@ Property / cites work: Modal extensions of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient Frames and Subspaces
@@ Property / cites work: Quotient Frames and Subspaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045288
@@ Property / cites work: Q4045288 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Relative annihilators in semilattices
@@ Property / cites work: Relative annihilators in semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085903
@@ Property / cites work: Q4085903 / rank @@
+Normal rank