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

共 14 条

[1] Di Nola A., 2002, Multiple-Valued Logic, V8, P717
[2] Bounded commutative residuated l-monoids with general comparability and states
Dvurecenskij, A
Rachunek, J
[J]. SOFT COMPUTING, 2006, 10 (03) : 212 - 218
[3] Galotos N., 2007, RESIDUATED LATTICES
[4] Harlenderova M, 2006, MATH BOHEM, V131, P39
[5] The structure of commutative residuated lattices
Hart, JB
Rafter, L
Tsinakis, C
[J]. INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2002, 12 (04) : 509 - 524
[6] Iorgulescu A., 2008, Algebras of Logic as BCK Algebras
[7] Jipsen P., 2002, ORDERED ALGEBRAIC ST
[8] Modal operators on commutative residuated lattices
Kondo, M.
[J]. MATHEMATICA SLOVACA, 2011, 61 (01) : 1 - 14
[9] MODAL OPERATORS ON HEYTING ALGEBRAS
MACNAB, DS
[J]. ALGEBRA UNIVERSALIS, 1981, 12 (01) : 5 - 29
[10] Nola A., 2002, Mult.-Valued Log, V8, P673

← 1 2 →