首页 | 本学科首页   官方微博 | 高级检索  
     


-autonomous Lattices
Authors:Francesco?Paoli  author-information"  >  author-information__contact u-icon-before"  >  mailto:paoli@unica.it"   title="  paoli@unica.it"   itemprop="  email"   data-track="  click"   data-track-action="  Email author"   data-track-label="  "  >Email author
Affiliation:(1) Dipartimento di Scienze Pedagogiche e Filoso.che, Universitá di Cagliari, Via Is Mirrionis 1, Cagliari, 09123
Abstract:starf-autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.
Keywords:lattice-ordered group  linear logic  residuated lattice    /content/v015l7111l55p580/xxlarge9733.gif"   alt="  starf"   align="  MIDDLE"   BORDER="  0"  >-autonomous lattice  substructural logics
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号