Download PDFOpen PDF in browser

Relational groupoids and residuated lattices

4 pagesPublished: July 28, 2014

Abstract

A 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

Links:
BibTeX entry
@inproceedings{TACL2013:Relational_groupoids_and_residuated,
  author    = {Cosimo Guido},
  title     = {Relational groupoids and residuated lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  pages     = {92--95},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1Kr9},
  doi       = {10.29007/gsnw}}
Download PDFOpen PDF in browser