Download PDFOpen PDF in browserRelational groupoids and residuated lattices4 pages•Published: July 28, 2014AbstractA quite general order-theoretical approach to implicative structures leads to consider implicative groupoids, which form a wide class of algebras including residuated lattices and their reasonable generalizations. Implicative groupoids find out to be special instances of suitable relational systems and are objects of categories, semicategories and precategories whose morphisms are generalizations of Galois connections.Keyphrases: extended order algebras, implicative algebras, relational systems, residuated lattices In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 92-95.
|