Difference-restriction algebras of partial functions: axiomatisations and representations
From MaRDI portal
Publication:2153921
DOI10.1007/s00012-022-00775-4OpenAlexW3108610421MaRDI QIDQ2153921
Publication date: 13 July 2022
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.15108
Logical aspects of lattices and related structures (03G10) Semilattices (06A12) Generalizations of Boolean algebras (06E75)
Related Items (1)
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A non-commutative Priestley duality.
- Completely representable lattices
- The algebra of functions with antidomain and range
- The axiomatization of override and update
- Normal skew lattices
- Recent developments in the theory of skew lattices
- A categorical duality for algebras of partial functions
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Override and update
- Monoids with tests and the algebra of possibly non-halting programs
- A perspective on non-commutative frame theory
- Pseudogroups and their étale groupoids.
- 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
- Boolean sets, skew Boolean algebras and a non-commutative Stone duality
- THE ÉTALE GROUPOID OF AN INVERSE SEMIGROUP AS A GROUPOID OF FILTERS
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Complete representation by partial functions for composition, intersection and anti-domain
- Restriction Semigroups and Inductive Constellations
- A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
- Difference semigroups
- Complete representations in algebraic logic
- NON-COMMUTATIVE STONE DUALITY: INVERSE SEMIGROUPS, TOPOLOGICAL GROUPOIDS AND C*-ALGEBRAS
- Affine varieties, singularities and the growth rate of wrapped Floer cohomology
- Disjoint-union partial algebras
- Boolean Rings with Isomorphisms Preserving Suprema and Infima
- Canonical extensions and relational completeness of some substructural logics
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
This page was built for publication: Difference-restriction algebras of partial functions: axiomatisations and representations