Tense De Morgan S4-algebras (Q5064355): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4963134
@@ Property / cites work: Q4963134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5212275
@@ Property / cites work: Q5212275 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Representation Theorems for Lattices with Negations: A Survey
+Normal rank
@@ Property / cites work @@
+Tense operators on De Morgan algebras
@@ Property / cites work: Tense operators on De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Duality via Truth: Semantic frameworks for lattice-based logics
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank