Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931): Difference between revisions

@@ Property / cites work @@
+Categorial characterization of the MacNeille completion
+Normal rank
@@ Property / cites work @@
+A non-commutative Priestley duality.
@@ Property / cites work: A non-commutative Priestley duality. / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatization of override and update
@@ Property / cites work: The axiomatization of override and update / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Difference-restriction algebras of partial functions: axiomatisations and representations
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL MENGER   -ALGEBRAS
@@ Property / cites work: FUNCTIONAL MENGER -ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Completely representable lattices
@@ Property / cites work: Completely representable lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656959
@@ Property / cites work: Q5656959 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely Representable Relation Algebras
@@ Property / cites work: Completely Representable Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Complete representations in algebraic logic
@@ Property / cites work: Complete representations in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of functions with antidomain and range
+Normal rank
@@ Property / cites work @@
+Disjoint-union partial algebras
@@ Property / cites work: Disjoint-union partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Maps with Domain and Range: Extending Schein's Representation
+Normal rank
@@ Property / cites work @@
+MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Monoids with tests and the algebra of possibly non-halting programs
+Normal rank
@@ Property / cites work @@
+Override and update
@@ Property / cites work: Override and update / 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 @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean sets, skew Boolean algebras and a non-commutative Stone duality
+Normal rank
@@ Property / cites work @@
+A perspective on non-commutative frame theory
@@ Property / cites work: A perspective on non-commutative frame theory / rank @@
+Normal rank
@@ Property / cites work @@
+A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
@@ Property / cites work: A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY / rank @@
+Normal rank
@@ Property / cites work @@
+NON-COMMUTATIVE STONE DUALITY: INVERSE SEMIGROUPS, TOPOLOGICAL GROUPOIDS AND C*-ALGEBRAS
+Normal rank
@@ Property / cites work @@
+Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
+Normal rank
@@ Property / cites work @@
+Pseudogroups and their étale groupoids.
@@ Property / cites work: Pseudogroups and their étale groupoids. / rank @@
+Normal rank
@@ Property / cites work @@
+Recent developments in the theory of skew lattices
+Normal rank
@@ Property / cites work @@
+Complete representation by partial functions for composition, intersection and anti-domain
+Normal rank
@@ Property / cites work @@
+The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
+Normal rank
@@ Property / cites work @@
+A categorical duality for algebras of partial functions
+Normal rank
@@ Property / cites work @@
+The finite representation property for composition, intersection, domain and range
+Normal rank
@@ Property / cites work @@
+Relation algebras and function semigroups
@@ Property / cites work: Relation algebras and function semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597568
@@ Property / cites work: Q5597568 / rank @@
+Normal rank
@@ Property / cites work @@
+Difference semigroups
@@ Property / cites work: Difference semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5182409
@@ Property / cites work: Q5182409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599230
@@ Property / cites work: Q5599230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339327
@@ Property / cites work: Q5339327 / rank @@
+Normal rank