Tense like equality algebras

Document Type: Research Paper

Authors

1 Department of Mathematics, Payame Noor University

2 Shahid Beheshti University

Abstract

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense like equality algebra structure can be transfer by this equality homomorphism. Specially, by using a bounded involutive equality algebra and quotient structure of it, we construct a quotient tense like equality algebra. Finally, we investigate the relation between tense like equality algebras and tense MV-algebras.

Keywords


[1] Borzooei, R.A., Zarean, M. and Zahiri, O., Involutive equality algebras, Soft Computing 22 (2018), 7505-7517.
[2] Borzooei, R.A., Zebardast, F. and Aaly Kologani, M., Some types of filters in equality algebras, Categ. General Alg. Struct. Appl. 7 (2017), 33-55.
[3] Botur, M., Chajda, I., Halavs, H. and Kolarík, M., Tense operators on basic algebras, Internat. J. Theoret. Phys. 50 (2011), 3737-3749.
[4] Botur, M. and Paseka, J., On tense MV-algebras, Fuzzy Sets and Systems, 259 (2015), 111-125.
[5] Burges, J., "Basic tense logic", in D.M. Gabbay, F. Gunther (Eds), Handbook of Philosophical Logic II, D. Reidel Publ. Comp., 1984.
[6] Chajda, I. and Kolarík, M., Dynamic effect algebras, Math. Slovaca 62(3) (2012), 379-388.
[7] Chang, C.C., Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
[8] Chirita, C., Tense $theta$-valued Moisil propositional logic, Int. J. Compute, Commun. Control 5 (2010), 642-653.
[9] Cignoli, R., D’Ottaviano, I. and Mundici, D., "Algebraic Foundations of Manyvalued Reasoning, in: Trends in Logic" 7, Kluwer Academic Publishers, 2000.
[10] Ciungu, L.C., On pseudo-equality algebras, Arch. Math. Logic 53 (2014), 561-570.
[11] Ciungu, L.C., Internal states on equality algebras, Soft Computing 19 (2015), 939- 953.
[12] Diaconescu, D. and Georgescu, G., Tense operators on rm MV-algebras and LMn- algebras, Fund. Inform. 81 (2007), 379-408.
[13] Jenei, S., Equality algebras, Studia Logica 100 (2012), 1201-1209.
[14] Jenei, S. and Kóródi, L., Pseudo equality algebras, Arch. Math. Logic 52 (2013), 469-481.
[15] Moisil, G.C., Recherches sur les logiques non-chrysippiennes, Annates scientifiques de l’Universitè Jassy, première section 26 (1940), 431-466.
[16] Novák, V. and De Baets, B., EQ-algebras, Fuzzy Sets and Systems 160 (2009), 2956-2978.
[17] Zebardast, F., Borzooei, R.A. and Aaly Kologani, M., Results on equality algebras, Inform. Sci. 381 (2017), 270-282.
[18] Zarean, M., Borzooei, R.A. and Zahiri, O., On state equality algebras, Quasigroups Related Systems 25 (2017), 307-326.