Modal operators on non-commutative residuated lattices

被引：0

作者：

Kondo, Michiro ^{[1
]}

Kawaguchi, Mayuka F. ^{[2
]}

机构：

[1] Tokyo Denki Univ, Inzai 2701382, Japan

[2] Hokkaido Univ, Sapporo, Hokkaido, Japan

来源：

2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL) | 2012年

关键词：

(non-commutative) residuated lattice; modal operators; pseudo-MV algebras; pseudo-BL algebras;

D O I：

10.1109/ISMVL.2012.41

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We prove some fundamental properties of monotone modal operators on (non-commutative) residuated lattices (RL). Moreover we give a simple characterization of pseudo MV-algebras in terms of residuated lattices.

引用

页码：85 / 88

页数：4