Continuity, freeness, and filtrations (Q2901195): Difference between revisions

@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+Normal rank
@@ Property / cites work @@
+Topo-canonical completions of closure algebras and Heyting algebras
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics withn-ary connectives
@@ Property / cites work: Modal logics withn-ary connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank