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


Symmetrical Heyting algebras with a finite order type of operators
Authors:Luisa Iturrioz
Affiliation:(1) Université Claude Bernard, Lyon 1, Bâtiment 101, 69622 Villeurbanne Cedex, France
Abstract:The main purpose of this paper is to introduce a class of algebraic structures related to many-valued Lstrokukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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