Geodesic
A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras
Mathematica Bohemica, Tome 140 (2015) no. 3, pp. 345-360

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of $n$-valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class {\bf tLM}$_{n\times m}$ of tense $n\times m$-valued Łukasiewicz-Moisil algebras (or tense LM$_{n\times m}$-algebras), namely $n\times m$-valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras (or tense LM$_{n}$-algebras). Our most important result is a representation theorem for tense LM$_{n\times m}$-algebras. Also, as a corollary of this theorem, we obtain the representation theorem given by Georgescu and Diaconescu in 2007, for tense LM$_{n}$-algebras.
In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of $n$-valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class {\bf tLM}$_{n\times m}$ of tense $n\times m$-valued Łukasiewicz-Moisil algebras (or tense LM$_{n\times m}$-algebras), namely $n\times m$-valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras (or tense LM$_{n}$-algebras). Our most important result is a representation theorem for tense LM$_{n\times m}$-algebras. Also, as a corollary of this theorem, we obtain the representation theorem given by Georgescu and Diaconescu in 2007, for tense LM$_{n}$-algebras.
DOI : 10.21136/MB.2015.144400
Classification : 03G20, 06D30
Keywords: $n$-valued Łukasiewicz-Moisil algebra; tense $n$-valued Łukasiewicz-Moisil algebra; $n\times m$-valued Łukasiewicz-Moisil algebra 
Figallo, Aldo Victorio; Pelaitay, Gustavo. A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras. Mathematica Bohemica, Tome 140 (2015) no. 3, pp. 345-360. doi: 10.21136/MB.2015.144400
@article{10_21136_MB_2015_144400,
     author = {Figallo, Aldo Victorio and Pelaitay, Gustavo},
     title = {A representation theorem for tense $n\times m$-valued {{\L}ukasiewicz-Moisil} algebras},
     journal = {Mathematica Bohemica},
     pages = {345--360},
     year = {2015},
     volume = {140},
     number = {3},
     doi = {10.21136/MB.2015.144400},
     mrnumber = {3397262},
     zbl = {06486944},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144400/}
}
TY  - JOUR
AU  - Figallo, Aldo Victorio
AU  - Pelaitay, Gustavo
TI  - A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras
JO  - Mathematica Bohemica
PY  - 2015
SP  - 345
EP  - 360
VL  - 140
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144400/
DO  - 10.21136/MB.2015.144400
LA  - en
ID  - 10_21136_MB_2015_144400
ER  - 
%0 Journal Article
%A Figallo, Aldo Victorio
%A Pelaitay, Gustavo
%T A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras
%J Mathematica Bohemica
%D 2015
%P 345-360
%V 140
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144400/
%R 10.21136/MB.2015.144400
%G en
%F 10_21136_MB_2015_144400

[1] Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. Annals of Discrete Mathematics 49 North-Holland, Amsterdam (1991). | MR | Zbl

[2] Botur, M., Chajda, I., Halaš, R., Kolařík, M.: Tense operators on basic algebras. Int. J. Theor. Phys. 50 (2011), 3737-3749. | DOI | MR | Zbl

[3] Botur, M., Paseka, J.: On tense {MV}-algebras. Fuzzy Sets and Systems 259 (2015), 111-125. | MR | Zbl

[4] Burgess, J. P.: Basic tense logic. Handbook of Philosophical Logic. Vol. II: Extensions of Classical Logic Synthese Lib. 165 D. Reidel Publishing, Dordrecht (1984), 89-133 D. Gabbay et al. | MR | Zbl

[5] Chajda, I., Kolařík, M.: Dynamic effect algebras. Math. Slovaca 62 (2012), 379-388. | DOI | MR | Zbl

[6] Chajda, I., Paseka, J.: Dynamic effect algebras and their representations. Soft Comput. 16 (2012), 1733-1741. | DOI | Zbl

[7] Chiriţă, C.: Polyadic tense $\theta$-valued Łukasiewicz-Moisil algebras. Soft Comput. 16 (2012), 979-987. | DOI | MR | Zbl

[8] Chiriţă, C.: Tense {$\theta$}-valued Łukasiewicz-Moisil algebras. J. Mult.-Val. Log. Soft Comput. 17 (2011), 1-24. | MR | Zbl

[9] Chiriţă, C.: Tense $\theta$-valued Moisil propositional logic. Int. J. of Computers, Communications and Control 5 (2010), 642-653. | DOI

[10] Diaconescu, D., Georgescu, G.: Tense operators on {MV}-algebras and Łukasiewicz-Moisil algebras. Fundam. Inform. 81 (2007), 379-408. | MR | Zbl

[11] Figallo, A. V., Pelaitay, G.: Discrete duality for tense Łukasiewicz-Moisil algebras. Fund. Inform. 136 (2015), 317-329. | DOI | MR | Zbl

[12] Figallo, A. V., Pelaitay, G.: Tense operators on De Morgan algebras. Log. J. IGPL 22 (2014), 255-267. | DOI | MR | Zbl

[13] Figallo, A. V., Pelaitay, G.: Note on tense SH$n$-algebras. An. Univ. Craiova Ser. Mat. Inform. 38 (2011), 24-32. | MR

[14] Figallo, A. V., Pelaitay, G.: Tense operators on SH$n$-algebras. Pioneer J. Algebra Number Theory Appl. 1 (2011), 33-41. | MR

[15] Figallo, A. V., Sanza, C.: Monadic {$n\times m$}-valued Łukasiewicz-Moisil algebras. Math. Bohem. 137 (2012), 425-447. | MR | Zbl

[16] Figallo, A. V., Sanza, C. A.: The ${\cal NS}_{n\times m}$-propositional calculus. Bull. Sect. Log., Univ. Łód'z, Dep. Log. 37 (2008), 67-79. | MR | Zbl

[17] Figallo, A. V., Sanza, C.: Álgebras de Łukasiewicz $n\times m$-valuadas con negación. Noticiero Unión Mat. Argent. 93 (2000), 93-94.

[18] Kowalski, T.: Varieties of tense algebras. Rep. Math. Logic 32 (1998), 53-95. | MR | Zbl

[19] Moisil, G. C.: Essais sur les logiques non chrysippiennes. Éditions de l'Académie de la République Socialiste de Roumanie Bucharest French (1972). | MR | Zbl

[20] Paseka, J.: Operators on {MV}-algebras and their representations. Fuzzy Sets and Systems 232 (2013), 62-73. | DOI | MR | Zbl

[21] Sanza, C. A.: On {$n\times m$}-valued Łukasiewicz-Moisil algebras. Cent. Eur. J. Math. 6 (2008), 372-383. | DOI | MR | Zbl

[22] Sanza, C. A.: {$n\times m$}-valued Łukasiewicz algebras with negation. Rep. Math. Logic 40 (2006), 83-106. | MR | Zbl

[23] Sanza, C.: Álgebras de Łukasiewicz $n\times m$-valuadas con negación. Doctoral Thesis Universidad Nacional del Sur, Bahía Blanca, Argentina (2005).

[24] Sanza, C.: Notes on {$n\times m$}-valued Łukasiewicz algebras with negation. Log. J. IGPL 12 (2004), 499-507. | DOI | MR | Zbl

[25] Suchoń, W.: Matrix Łukasiewicz algebras. Rep. Math. Logic 4 (1975), 91-104. | Zbl

Cité par Sources :