Switch to: References

Add citations

You must login to add citations.
  1. Restriction in Program Algebra.Marcel Jackson & Tim Stokes - 2023 - Logic Journal of the IGPL 31 (5):926-960.
    We provide complete classifications of algebras of partial maps for a significant swathe of combinations of operations not previously classified. Our focus is the many subsidiary operations that arise in recent considerations of the ‘override’ and ‘update’ operations arising in specification languages. These other operations turn out to have an older pedigree: domain restriction, set subtraction and intersection. All signatures considered include domain restriction, at least as a term. Combinations of the operations are classified and given complete axiomatizations with and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Skew lattices and binary operations on functions.Karin Cvetko-Vah, Jonathan Leech & Matthew Spinks - 2013 - Journal of Applied Logic 11 (3):253-265.